Why do we need to mention twice the year of his Hall of Fame inauguration? Isn't this unneccesary duplication?