Minor fix to robot.flex. Just want a clean working tree before

starting on a larger task.