Minor bugfix to RobotsTxt