Fixes to lemma determination