Some style fixes. Leaderboard updates.