But... it's not customary around here to pull people up for typos. At least, I avoid it unless it's funny.

I usually don't correct other people's typos, but they are much more funny when they're made by pedants.

Fair!