fix bug in GameState.isPlayerWithName()