revised some typos