diff --git a/src/storm/storage/Scheduler.cpp b/src/storm/storage/Scheduler.cpp
index ff745ed09..0c087b269 100644
--- a/src/storm/storage/Scheduler.cpp
+++ b/src/storm/storage/Scheduler.cpp
@@ -102,6 +102,8 @@ namespace storm {
                     --numOfDeterministicChoices;
                 }
 
+                // Set an arbitrary choice
+                schedulerChoices[memoryState][modelState] = SchedulerChoice<ValueType>(0);
             }
         }