Tweaking Lemma printing.