several small improvements in game server