diff --git a/test/good/t13.ept b/test/good/t13.ept
index 375db60..8a2954d 100644
--- a/test/good/t13.ept
+++ b/test/good/t13.ept
@@ -6,7 +6,7 @@ tel
 node fourth() returns (res : bool)
 var tmp : int;
 let
-  tmp = 0 fby (if res then 0 else tmp + 1);
+  tmp = 0 fby (if res then tmp + 1 else 0);
   res = tmp = 0;
 tel