fix Lemma.equals()