fixes to robot.php