tiny typofix

etc.