Fix self-reference

formal-spaces.tex

@@ -4022,7 +4022,7 @@ \section{Morphisms of finite type}
 By Lemma \ref{lemma-permanence-representable} we see that $f$ is
 representable by algebraic spaces. Let $T$ be a scheme and let
 $T \to Z$ be a morphism. Then we can apply
-Morphisms of Spaces, Lemma \ref{lemma-permanence-finite-type}
+Morphisms of Spaces, Lemma \ref{spaces-morphisms-lemma-permanence-finite-type}
 to the morphisms
 $T \times_Z X \to T \times_Z Y \to T$ of algebraic spaces to conclude.
 \end{proof}