Bugfixes and leaderboard updates

Published on 2020-04-27 by Eduard Trulls

We would like to announce some updates: