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!