--- a/progs/while/compile.sc	Sat Nov 09 06:31:45 2024 +0000
+++ b/progs/while/compile.sc	Fri Nov 22 12:42:07 2024 +0000
@@ -81,7 +81,7 @@
 
 extension (sc: StringContext) {
     def i(args: Any*): String = "   " ++ sc.s(args:_*) ++ "\n"
-    def l(args: Any*): String = sc.s(args:_*) ++ ":"
+    def l(args: Any*): String = sc.s(args:_*) ++ ":\n"
 }
 
 // this allows us to write things like