Annihilates tiny typo that troubles tedious text theorists