small changes to robots.txt