minor spelling corrections, etc.