Various typos fixed.