Hopefully that fixes an issue with lots of bots crashing the server in
arena mode.