Quick fixes to make history and leaderboard work.