diff --git a/algebra.tex b/algebra.tex
index 6cb53e09..bf0deb78 100644
--- a/algebra.tex
+++ b/algebra.tex
@@ -8119,7 +8119,7 @@ \section{Normal rings}
 \begin{proof}
 Let $R$ be a normal ring. Let $x \in Q(R)$ be an element of the total ring
 of fractions of $R$ integral over $R$. Set $I = \{f \in R, fx \in R\}$. Let
-$\mathfrak p \subset R$ be a prime. As $R \subset R_{\mathfrak p}$ is
+$\mathfrak p \subset R$ be a prime. As $R \to R_{\mathfrak p}$ is
 flat we see that $R_{\mathfrak p} \subset Q(R) \otimes_R R_{\mathfrak p}$. As
 $R_{\mathfrak p}$ is a normal domain we see that $x \otimes 1$ is an element of
 $R_{\mathfrak p}$. Hence we can find $a, f \in R$, $f \not \in \mathfrak p$