fix minor spelling mistakes in the source.