diff --git a/tools/release/mcrl2ide/filesystem.cpp b/tools/release/mcrl2ide/filesystem.cpp
index 7580b8aa2a..55cdb8b43f 100644
--- a/tools/release/mcrl2ide/filesystem.cpp
+++ b/tools/release/mcrl2ide/filesystem.cpp
@@ -976,7 +976,7 @@ bool FileSystem::saveAs()
    *   current as and save if successful */
   else
   {
-    if (newProject(false))
+    if (newProject(!projectOpen))
     {
       return save(true);
     }