Fixes a bug where ``[p]trivia leaderboard`` failed to run.