Minor typo in definition f_j

Thanks to Jize Yu
https://stacks.math.columbia.edu/tag/089R#comment-3012

CONTRIBUTORS

@@ -280,6 +280,7 @@ Wei Xu
 Qijun Yan
 Amnon Yekutieli
 Alex Youcis
+Jize Yu
 John Yu
 Felipe Zaldivar
 Maciek Zdanowicz

constructions.tex

@@ -4862,8 +4862,8 @@ \section{Grassmannians}
 e_j = (0, \ldots, 0, 1, 0, \ldots, 0)\quad(1\text{ in }j\text{th spot})
 $$
 of $\mathcal{O}_S^{\oplus n}$. Of course these sections freely generate
-$\mathcal{O}_S^{\oplus n}$. Similarly, for $j \in \{1, \ldots, k\}$
-we denote $f_j$ the global section of $\mathcal{O}_S^{\oplus k}$
+$\mathcal{O}_S^{\oplus n}$. Similarly, for $j \in \{1, \ldots, n - k\}$
+we denote $f_j$ the global section of $\mathcal{O}_S^{\oplus n - k}$
 which is zero in all summands except the $j$th where we put a $1$.
 For $i \in I$ we let
 $$