Some re-phrasing and typos