fix typos; manually edited from 97f49fbd8f