Fix some typos in comments.

Actually, `robotx.txt` is a new protocol. You probably haven't heard of it