minor corrections to proof of lemma 3.16