Fixups to bot.js