Minor changes to RobotServer