diff --git a/src/storm/modelchecker/prctl/helper/SparseMdpPrctlHelper.cpp b/src/storm/modelchecker/prctl/helper/SparseMdpPrctlHelper.cpp
index bb6b77170..f970244d1 100644
--- a/src/storm/modelchecker/prctl/helper/SparseMdpPrctlHelper.cpp
+++ b/src/storm/modelchecker/prctl/helper/SparseMdpPrctlHelper.cpp
@@ -1467,7 +1467,7 @@ namespace storm {
                         }
                     }
                     if (scheduler) {
-                        scheduler->setChoice(*choiceIt - transitionMatrix.getRowGroupIndices()[state], state);
+                        scheduler->setChoice(bestChoice - transitionMatrix.getRowGroupIndices()[state], state);
                     }
                     return result;
                 }