some small changes, documentation summary for GameState added