diff --git a/src/storm/modelchecker/rpatl/SparseSmgRpatlModelChecker.cpp b/src/storm/modelchecker/rpatl/SparseSmgRpatlModelChecker.cpp
index 9cd3173a5..ff2e4f2d5 100644
--- a/src/storm/modelchecker/rpatl/SparseSmgRpatlModelChecker.cpp
+++ b/src/storm/modelchecker/rpatl/SparseSmgRpatlModelChecker.cpp
@@ -71,6 +71,7 @@ namespace storm {
             }
 
             statesOfCoalition = this->getModel().computeStatesOfCoalition(gameFormula.getCoalition());
+            statesOfCoalition.complement();
 
             STORM_LOG_DEBUG("\n" << this->getModel().getTransitionMatrix());