correct some typos and formatting