Fix bug in leave_game.