robots: fix logging of bad crawlers' names