From fb990c270a0af10047ca94b25b5613d0f8dbe739 Mon Sep 17 00:00:00 2001
From: Aise Johan de Jong <aise.johan.de.jong@gmail.com>
Date: Fri, 3 Mar 2023 15:03:47 -0500
Subject: [PATCH] Fix formulation

Thanks to Rachel Webb
https://stacks.math.columbia.edu/tag/02O6#comment-8142
---
 coherent.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coherent.tex b/coherent.tex
index 69d60a7b3..779e8c8dc 100644
--- a/coherent.tex
+++ b/coherent.tex
@@ -5224,7 +5224,7 @@ \section{Higher direct images of coherent sheaves}
 Let $S = \Spec(A)$ with $A$ a Noetherian ring.
 Let $f : X \to S$ be a proper morphism.
 Let $\mathcal{F}$ be a coherent $\mathcal{O}_X$-module.
-Then $H^i(X, \mathcal{F})$ is finite $A$-module for all $i \geq 0$.
+Then $H^i(X, \mathcal{F})$ is a finite $A$-module for all $i \geq 0$.
 \end{lemma}
 
 \begin{proof}