Cores Destoyed leaderboard (and likely others) - does not indicate ties

If two factions have the exact same "cores destroyed", it does not indicate a tie. It would make more sense if the top 2 factions were both listed as 1st (given that there is a tie for 1st). I suppose one thing to consider/decide is if the 3rd faction on the list (behind the 2 tied factions) should be listed as 2nd place, or 3rd place. (ideally it should match how winners are declared after the end of a season in my opinion) See screenshot.