Fix a bug in the bot.