fix some typos; some reformulations