I can't respond to your other comment because it's flagged, so I'll respond here. I think most people don't mind pedants. The comment got a handful of upvotes, so clearly on the whole the addition was appreciated.
It's absolutely possible to be a jerk about correcting someone, but a simple dispassionate "I think you meant X instead of Y" can be helpful.