Fixes an AnonymousUser bug in leaderboard.