It happens more than we'd like right now; we will change it eventually.

The winners is based off the fastest time in that case; however, the leaderboard sorts them alphabetically, so Herman is actually winning in that image. Clearly, there are still some bugs to fix.