diff --git a/rascal-vscode-extension/src/RascalExtension.ts b/rascal-vscode-extension/src/RascalExtension.ts
index e8765d701..1644f1f99 100644
--- a/rascal-vscode-extension/src/RascalExtension.ts
+++ b/rascal-vscode-extension/src/RascalExtension.ts
@@ -95,7 +95,7 @@ export class RascalExtension implements vscode.Disposable {
                 if (!text.document.uri || !moduleName) {
                     return;
                 }
-                this.startTerminal(text.document.uri, `import ${moduleName};\nmain();\n`);
+                this.startTerminal(text.document.uri, `import ${moduleName};\n${moduleName}::main();\n`);
             })
         );
     }