typo fixes and reformulations