corrected typos and reformulations