Exchanged the random generator for RandomAIPlayer.