As a non-native speaker I appreciate comments like GP, because they let me improve my English and speak better. It's not pedantic if the "shamer" is obviously right (I've consulted internet and it looks like he is). I think correcting other people speech is valuable because it lets us all understand each other better.