Fix the spelling of some symbols.