fix robots.txt typo