diff --git a/src/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.cpp b/src/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.cpp
index abec6a929..ebedb6c25 100644
--- a/src/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.cpp
+++ b/src/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.cpp
@@ -390,7 +390,7 @@ namespace storm {
             
             // Set the values for all states in MECs.
             for (auto state : statesInMecs) {
-                result[state] = lraValuesForEndComponents[stateToMecIndexMap[state]];
+				result[state] = x[firstAuxiliaryStateIndex + stateToMecIndexMap[state]];
             }
             
             return result;