Oh, just asked out of sympathy. I know what it's like to spot an elusive typo after something goes to print!
