Fix for leaderboard

Fixed so it'll work
Merge branch 'production' of https://github.com/codalab/codalab into production