Minor bug fixes.
Add more bots to the bot list.