diff --git a/src/storm-cli-utilities/model-handling.h b/src/storm-cli-utilities/model-handling.h
index e25fd53cd..f413951c9 100644
--- a/src/storm-cli-utilities/model-handling.h
+++ b/src/storm-cli-utilities/model-handling.h
@@ -444,7 +444,7 @@ namespace storm {
             if (buildSettings.isExplorationChecksSet()) {
                 options.setExplorationChecks();
             }
-            options.setReservedBitsForUnboundedVariables(options.getReservedBitsForUnboundedVariables());
+            options.setReservedBitsForUnboundedVariables(buildSettings.getBitsForUnboundedVariables());
 
             options.setAddOutOfBoundsState(buildSettings.isBuildOutOfBoundsStateSet());
             if (buildSettings.isBuildFullModelSet()) {