Fixed bug in checking for duplicate bots