Also: Pool leaderboard seems to be missing a 0/digit somewhere. Just noticed it, not sure if you are working on it currently.