minor update of robots.txt