fix bot names in Game log