some typos fixed