diff --git a/src/storm-pars/settings/modules/RegionSettings.cpp b/src/storm-pars/settings/modules/RegionSettings.cpp
index 689c5e460..e572560f7 100644
--- a/src/storm-pars/settings/modules/RegionSettings.cpp
+++ b/src/storm-pars/settings/modules/RegionSettings.cpp
@@ -137,7 +137,9 @@ namespace storm {
             bool RegionSettings::check() const {
                 if (isRefineSet() && isExtremumSet()) {
                     STORM_LOG_ERROR("Can not compute extremum values AND perform region refinement.");
+                    return false;
                 }
+                return true;
             }
 
             bool RegionSettings::isPrintNoIllustrationSet() const {