Small changes to RobotProxy (soon to be LocalSim)