Fix an error in the ELO rating update in the case when several copies of the
same agent play in the same game.