Small bugfix in printing out percentages.