Fix bug in games when num_players could be none