diff --git a/src/shell/lean.cpp b/src/shell/lean.cpp
index dcb44d3b29..44067bc8f5 100644
--- a/src/shell/lean.cpp
+++ b/src/shell/lean.cpp
@@ -246,8 +246,7 @@ int main(int argc, char ** argv) {
             FS.chdir(process.cwd());
         } catch (e) {
             console.log(e);
-        }
-    );
+        });
 #endif
     initializer init;
     bool export_objects     = false;