Various typos fixed by rms.