more tweaking on robots.txt