Fix issue #3 -- Disambiguate ties in the Hall of Fame