It's actually "pedantic". "Peddantic" with a double D is what we call a joke, you see. If he's a true Grammar Nazi then he can't resist correcting, but if he did, then that would make him truly pedantic.