Fix internal reference

morphisms.tex

@@ -1317,8 +1317,8 @@ \section{Dominant morphisms}
 then $\eta = g(\eta')$ is the generic point of an irreducible
 component of $S$. By Lemma \ref{lemma-quasi-compact-dominant}
 we see that $\eta$ is in the image of $f$.
-Hence $\eta'$ is in the imge of $f'$
-(Lemma \ref{lemma-characterize-normalization}).
+Hence $\eta'$ is in the image of $f'$ by
+Schemes, Lemma \ref{schemes-lemma-points-fibre-product}.
 It follows that $f'$ is dominant by Lemma \ref{lemma-quasi-compact-dominant}.
 \end{proof}