Yet another typofix