Numerous typos fixed