That's a small price to pay for the pleasure of nitpicking...