From 53fe885e0bcc0ca106ae482e60a5b3e75f92cec7 Mon Sep 17 00:00:00 2001
From: Aise Johan de Jong <aise.johan.de.jong@gmail.com>
Date: Tue, 27 Jun 2023 14:33:17 -0400
Subject: [PATCH] Fix internal reference

---
 morphisms.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/morphisms.tex b/morphisms.tex
index 7c828b94..53021437 100644
--- a/morphisms.tex
+++ b/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}