Leaderboards are not sorted by score/accuracy by default

Fixes #513