Many typos fixed.