diff --git a/src/Juvix/Compiler/Core/Translation/FromSource.hs b/src/Juvix/Compiler/Core/Translation/FromSource.hs
index 96825b0548..e2e467b01c 100644
--- a/src/Juvix/Compiler/Core/Translation/FromSource.hs
+++ b/src/Juvix/Compiler/Core/Translation/FromSource.hs
@@ -716,8 +716,7 @@ letrecDefs ::
   Index ->
   HashMap Text Level ->
   ParsecS r (NonEmpty LetItem)
-letrecDefs names varsNum vars =
-  mapM letrecItem names
+letrecDefs names varsNum vars = forM names letrecItem
   where
     letrecItem :: Text -> ParsecS r LetItem
     letrecItem n = do
@@ -728,7 +727,6 @@ letrecDefs names varsNum vars =
       name <- lift $ freshName KNameLocal txt i
       kw kwAssign
       v <- bracedExpr varsNum vars
-      -- TODO last semicolon optional
       kw kwSemicolon
       return $ LetItem (Binder (Just name) mkDynamic') v
 
diff --git a/tests/Core/positive/test040.jvc b/tests/Core/positive/test040.jvc
index 6cc205a8c4..006f1f89f6 100644
--- a/tests/Core/positive/test040.jvc
+++ b/tests/Core/positive/test040.jvc
@@ -31,7 +31,7 @@ def mutrec :=
         1
       else
         x * f (x - 1)
-    } in z
+    } in z;
   in writeLn (f 5) >> writeLn (f 10) >> writeLn (f 100) >> writeLn (g 5) >> writeLn (h 5);
 
 letrec x := 3