Yes, these things can be sad. I have a friend that holds Mount St. Helens in such high esteem that he is STILL sad it is no longer the highest point in Skamania County, Washington (now located on the county line on the side of Mt. Adams).

I hope I didn't sound too pedantic, but there are people that pursue the truth of political-region highpoints really really seriously. For instance, these nerds are my friends: http://cohp.org/wa/Klickitat_9.html :)

Lol sorry but that is a little bit funny, in a morbid kind of way granted :P Still, your friend might be able to take some solace in probable fact that Krakatoa had its fair share of admirers in the 19th century...

And no worries. In fact thank you for being pedantic! It's not something I'd like to be mistaken about, seeing as how much I love those mountains :)