Another cosmetic fix of hatbot.py