diff --git a/src/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.h b/src/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.h
index 8077086bb..378e8803a 100644
--- a/src/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.h
+++ b/src/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.h
@@ -377,7 +377,7 @@ namespace storm {
                         }
                         
                         // For each auxiliary state, there is the option to achieve the reward value of the LRA associated with the MEC.
-                        sspMatrix.insertEmptyRow();
+                        sspMatrix.insertEmptyRow(true);
                         ++currentChoice;
                         b.push_back(lraValuesForEndComponents[mecIndex]);
                     }