How are ties broken in leagues? It looks like they are broken alphabetically from the standings. Is this the case? If so, it it just a display bug or are prizes actually allocated this way?

On a related note, unlike in the main lobby, the league sort function alphabetizes capital letters and lower case letters separately.