fix a longstanding issue with sorting when two people have the same score