Typos in sites-cohomology

Thanks to Zongzhu Lin
https://stacks.math.columbia.edu/tag/07AB#comment-5481
https://stacks.math.columbia.edu/tag/07AB#comment-5482

CONTRIBUTORS

@@ -222,6 +222,7 @@ Max Lieblich
 Bronson Lim
 David Benjamin Lim
 Joseph Lipman
+Zongzhu Lin
 Daniel Litt
 Huaxin Liu
 Hsing Liu

sites-cohomology.tex

@@ -8514,7 +8514,7 @@ \section{Derived lower shriek}
 
 \noindent
 In this section we study morphisms $g$ of ringed topoi where besides
-$Lg^*$ and $Rg_*$ there also a derived functor $Lg_!$.
+$Lg^*$ and $Rg_*$ there also exists a derived functor $Lg_!$.
 
 \begin{lemma}
 \label{lemma-pullback-injective-pre-limp}
@@ -8544,7 +8544,7 @@ \section{Derived lower shriek}
 $$
 because $g^{-1} = u^p$ by Sites, Lemma \ref{sites-lemma-when-shriek}.
 Since $\mathcal{I}$ is an injective
-$\mathcal{O}$-module these {\v C}ech cohomology groups vanish, see
+$\mathcal{O}_\mathcal{D}$-module these {\v C}ech cohomology groups vanish, see
 Lemma \ref{lemma-injective-module-trivial-cech}.
 \end{proof}
 
@@ -8738,7 +8738,7 @@ \section{Derived lower shriek}
 H^0(g_!^{Sh}K' \times_{g_!^{Sh}K} \ldots \times_{g_!^{Sh}K} g_!^{Sh}K',
 \mathcal{I})
 \end{align*}
-by our assumption on $g_!^{Sh}$. Since $\mathcal{I}$ is injective module
+by our assumption on $g_!^{Sh}$. Since $\mathcal{I}$ is an injective module
 it is totally acyclic by Lemma \ref{lemma-direct-image-injective-sheaf}
 (applied to the identity). Hence we can use the converse of
 Lemma \ref{lemma-characterize-limp} to see that the complex