another small bug fix for leaderboard