Minor fixes in LobbyController