Little orthography fixes.