This bug is related to commit e2260726, which forced displaying the
high score values for the correct level number, but refused to show
the correct level number in the headline of the "hall of fame" (but
displayed the number of the next level to play). This is fixed now.