more jslint cleanup of robot.js