Correcting someone's language is always ok as long as it's done respectfully, which it was. I'm sure people that speak English as a second language really appreciate it, otherwise if nobody tells 'em they're using something incorrectly then they're never get to learn!

Yup - I owe my above-average native fluency to my mother's incessant correcting, and my English proficiency to countless kind strangers on the internet.