Fix for silly robots.txt handler mistake