Apparently we don't understand how our own code works. Anyway, we fixed the leaderboard and tested it so we have seen it works. I hope this is the last time we are fixing the leaderboard.