Thank you, Anonymous Typo Man -- you have once again defended the world from a rather annoying typo.

What is his secret identity? Will we ever know?

Stay tuned!

(because I'm bound to make more typos in the future)