From f0184a3652958b89b389772abf3d2a9c0f35dcdc Mon Sep 17 00:00:00 2001
From: Aise Johan de Jong <aise.johan.de.jong@gmail.com>
Date: Sun, 1 Sep 2019 10:16:47 -0400
Subject: [PATCH] Add missing pushforward

Thanks to Dario Weissmann
https://stacks.math.columbia.edu/tag/01R8#comment-4285
---
 morphisms.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/morphisms.tex b/morphisms.tex
index c138d5c49..6269ea7db 100644
--- a/morphisms.tex
+++ b/morphisms.tex
@@ -880,7 +880,7 @@ \section{Scheme theoretic image}
 X' = \coprod U_i \longrightarrow X \longrightarrow Y.
 $$
 Then $f_*\mathcal{O}_X$ is a subsheaf of $f'_*\mathcal{O}_{X'}$,
-and hence $\mathcal{I} = \Ker(\mathcal{O}_Y \to \mathcal{O}_{X'})$.
+and hence $\mathcal{I} = \Ker(\mathcal{O}_Y \to f'_*\mathcal{O}_{X'})$.
 By Schemes, Lemma \ref{schemes-lemma-push-forward-quasi-coherent}
 the sheaf $f'_*\mathcal{O}_{X'}$ is quasi-coherent on $Y$. Hence we win.
 \end{proof}