mostly typos, some re-wording