minor change to name of lemma