I'm glad pedantry and nitpicking like this are acceptable on HN and I say this without any intention of irony (or, indeed sarcasm).