Fix robots.txt.