diff --git a/src/storm/generator/Choice.cpp b/src/storm/generator/Choice.cpp
index 27ae916d1..ef5d0ab4a 100644
--- a/src/storm/generator/Choice.cpp
+++ b/src/storm/generator/Choice.cpp
@@ -97,8 +97,8 @@ namespace storm {
         }
 
         template<typename ValueType, typename StateType>
-        bool Choice<ValueType, StateType>::hasPlayer() const {
-            return player.is_initialized();
+        bool Choice<ValueType, StateType>::hasPlayerIndex() const {
+            return playerIndex.is_initialized();
         }
 
         template<typename ValueType, typename StateType>
diff --git a/src/storm/generator/Choice.h b/src/storm/generator/Choice.h
index 445560939..acd6f29b4 100644
--- a/src/storm/generator/Choice.h
+++ b/src/storm/generator/Choice.h
@@ -102,7 +102,7 @@ namespace storm {
             /*!
              * Returns whether there is an index for the player defined for this choice.
              */
-            bool hasPlayer() const;
+            bool hasPlayerIndex() const;
 
             /*!
              * Retrieves the players index associated with this choice