Added a space in Uplifting Lemma.