The inevitable typo found after an initial push