fix some typos, some reformatting