diff --git a/src/storm-conv/settings/modules/JaniExportSettings.cpp b/src/storm-conv/settings/modules/JaniExportSettings.cpp
index f5da440f3..588bde61a 100644
--- a/src/storm-conv/settings/modules/JaniExportSettings.cpp
+++ b/src/storm-conv/settings/modules/JaniExportSettings.cpp
@@ -57,7 +57,7 @@ namespace storm {
             }
 
             bool JaniExportSettings::isGlobalVarsSet() const {
-                return this->getOption(exportFlattenOptionName).getHasOptionBeenSet();
+                return this->getOption(globalVariablesOptionName).getHasOptionBeenSet();
             }
             
             void JaniExportSettings::finalize() {