Minor orthography fixes.