make robots.txt syntaxchecker happy