Bug in ranking list?

So, MiniLD 40 votation closed! I got a  on Theme! My first silver medal in LD! Thanks!!

But as I was scrolling through the overall ranking list, I noticed the ranking was:

1, 2, 3, 4, 5 (TIE), 5 (TIE), 5 (TIE), 8, 9, 10, …

My question is, shouldn’t the guy in the 8th be in 6th place instead? Since there is 3 guys tied at the 5th position.

Maybe the script that assigns the numbers doesn’t contemplate the tied positions?