fixing typo in robots.txt