Label a morphism

THanks to Mitchell
https://stacks.math.columbia.edu/tag/0D30#comment-6271

spaces-divisors.tex

@@ -2995,13 +2995,13 @@ \section{Relatively ample sheaves}
 Lemma \ref{lemma-ample-base-change}.
 Assume (2). This implies that $Y \to V$ is
 quasi-compact and separated (Lemma \ref{lemma-relatively-ample-properties})
-and $Y$ is a scheme. Then we conclude that $X \to U$ is
+and $Y$ is a scheme. It follows that the morphism $f : X \to U$ is
 quasi-compact and separated
 (Morphisms of Spaces, Lemmas
 \ref{spaces-morphisms-lemma-quasi-compact-local} and
 \ref{spaces-morphisms-lemma-separated-local}).
 Set $\mathcal{A} = \bigoplus_{d \geq 0} f_*\mathcal{L}^{\otimes d}$.
-Thus is a quasi-coherent sheaf of graded $\mathcal{O}_U$-algebras
+This is a quasi-coherent sheaf of graded $\mathcal{O}_U$-algebras
 (Morphisms of Spaces, Lemma \ref{spaces-morphisms-lemma-pushforward}).
 By adjunction we have a map
 $\psi : f^*\mathcal{A} \to \bigoplus_{d \geq 0} \mathcal{L}^{\otimes d}$.