lemma bug fix