revise some typos