I think polite minor corrections shouldn't be shunned. A lot of people are not native speakers and they do make mistakes (also a lot of native speakers make stupid mistakes every time as well).

This is how people learn the subtleties of a language. We all know what this person was trying to say, but it was not the right way (even though in linguistics right or wrong are "flexible").