Corrected references to things in first lemma