Fixed some lemma labels.