Minor bugfix for hall of fame