More de-typoing