Minor typos and reformulations