diff --git a/src/storm/modelchecker/rpatl/helper/SparseSmgRpatlHelper.cpp b/src/storm/modelchecker/rpatl/helper/SparseSmgRpatlHelper.cpp
index cffe35987..bc18f35ff 100644
--- a/src/storm/modelchecker/rpatl/helper/SparseSmgRpatlHelper.cpp
+++ b/src/storm/modelchecker/rpatl/helper/SparseSmgRpatlHelper.cpp
@@ -194,7 +194,7 @@ namespace storm {
 
                         // Update the viHelper for the (full-size) submatrix and statesOfCoalition.
                         viHelper.updateTransitionMatrix(submatrix);
-                        viHelper.updateStatesOfCoaltion(statesOfCoalition);
+                        viHelper.updateStatesOfCoalition(statesOfCoalition);
 
                         // Reset constrainedChoiceValues and b to 0-vector in the correct dimension.
                         constrainedChoiceValues = std::vector<ValueType>(transitionMatrix.getConstrainedRowGroupSumVector(relevantStates, newPsiStates).size(), storm::utility::zero<ValueType>());
diff --git a/src/storm/modelchecker/rpatl/helper/internal/GameViHelper.cpp b/src/storm/modelchecker/rpatl/helper/internal/GameViHelper.cpp
index 5b644e23d..54efd3c7c 100644
--- a/src/storm/modelchecker/rpatl/helper/internal/GameViHelper.cpp
+++ b/src/storm/modelchecker/rpatl/helper/internal/GameViHelper.cpp
@@ -131,8 +131,8 @@ namespace storm {
                 }
 
                 template <typename ValueType>
-                void GameViHelper<ValueType>::updateStatesOfCoaltion(storm::storage::BitVector newStatesOfCoaltion) {
-                    _statesOfCoalition = newStatesOfCoaltion;
+                void GameViHelper<ValueType>::updateStatesOfCoalition(storm::storage::BitVector newStatesOfCoalition) {
+                    _statesOfCoalition = newStatesOfCoalition;
                 }
 
                 template <typename ValueType>
diff --git a/src/storm/modelchecker/rpatl/helper/internal/GameViHelper.h b/src/storm/modelchecker/rpatl/helper/internal/GameViHelper.h
index db4b2939f..507eb60b7 100644
--- a/src/storm/modelchecker/rpatl/helper/internal/GameViHelper.h
+++ b/src/storm/modelchecker/rpatl/helper/internal/GameViHelper.h
@@ -46,7 +46,7 @@ namespace storm {
                     /*!
                      * Changes the statesOfCoalition to the given one.
                      */
-                    void updateStatesOfCoaltion(storm::storage::BitVector newStatesOfCoaltion);
+                    void updateStatesOfCoalition(storm::storage::BitVector newStatesOfCoalition);
 
                     storm::storage::Scheduler<ValueType> extractScheduler() const;