fix proof of Lemma 1.10 and some typos