Minor bot-reporting fix.