diff --git a/src/TIM.hs b/src/TIM.hs
index eb75ed2..a3049f1 100644
--- a/src/TIM.hs
+++ b/src/TIM.hs
@@ -275,7 +275,7 @@ step st =
                    | isTrue,     needsEval tn   = h
                    | not isTrue, needsEval fn   = h
                    | otherwise                  =
-                       update h rootAddr (if isTrue then tn else fn)
+                       update h rootAddr (NInd $ if isTrue then t else f)
 
                 [cn,tn,fn] = hViewUnsafe h <$> [c,t,f]
                 [c,t,f] = getArgs h s