Small corrections to javadoc in game.level