Removing whitespace that somehow found its way into robot.js