corrections in robots.txt