Made an extremely small change to RobotPlayer