fix lemma