Fix formulation

Thanks to Rachel Webb
https://stacks.math.columbia.edu/tag/02O6#comment-8142

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}