Minor additions to the Lobby

I added some things to the Lobby class.