bugfix: check if lemma not null