@@ -398,9 +398,9 @@
 	enrollRuntimeLibrary(e);
 	assert_eq( e.evalString(`
 @@3(x){x};
 def incr(x) { x+1 };
-@ 3 incr(x) {@value( if(@ 3(x)+1< 3){@ 3(x)+1}else{0} )};
+@ 3 incr(x) {@value( if @ 3(x)+1< 3 then @3(x)+1 else 0 )};
 def fb(n @value @3) { @3(n) };
 fb(incr(incr(incr(0))))
 	`), new IntValue(BigInt(0)) );
 }