Fixed issue #2 where bots crash the server in arena mode.