Highscores and champions incorrect

I think highscores and champions are calculated incorrectly. I mean if a user equalizes a highscore, the new user will be holding the all time record score. The highscore list is correct. It shows the user, who achieved the score first, at the very top. But the other user's avatar will be shown above the list.

The cmps module doesn' t seem to work correctly either. It will display the user, who equalized the high score, as new highscore champion.

I think in sports you always have to get a better score in order to be the new record holder. With the same score you will be ranked lower than the current record holder.