Fixing some leaderboard-related NPEs.

If the leaderboard is empty, the server throws NPEs on startup. This fixes that.