diff --git a/src/main/wacc/frontend/renamer.scala b/src/main/wacc/frontend/renamer.scala
index 748ed81..3d5c917 100644
--- a/src/main/wacc/frontend/renamer.scala
+++ b/src/main/wacc/frontend/renamer.scala
@@ -233,7 +233,7 @@ object renamer {
         val bodyErrors = subscope.withSubscope { s => body.foldMap(rename(s)) }
         paramErrors ++ bodyErrors
       }
-    } yield (partialProg.self, errors)
+    } yield (Program(chunks.toList, main.body)(main.pos), errors)
   }
 
   // /** Check scoping of all variables and functions in the program. Also generate semantic types for