logical typofix