It seems I misread the original post and thought you were 'correcting' an already correct usage. On reading it again, it seems that I was wrong and I apologize.
Given that HN does not show any historical revisions, it can be hard to tell the order (or even existence) of edits. FWIW, if you had quoted the line you were commenting on it would have been unambiguously clear to me that the OP had taken your advice and corrected whatever he original wrote.
Sorry for the confusion. When I came back to edit my original post, I also changed peaked -> piqued per Johan's suggestion. Not sure of the Internet etiquette here, but next time I'll be more clear.
> FWIW, if you had quoted the line you were commenting on it would have been unambiguously clear to me that the OP had taken your advice and corrected whatever he original wrote.
Good point. I usually do this, but will try to always do so as it helps with the clarity.
So, are we not to help people (in general) come across better by using the proper words?