Extension over X

Thanks to Jackson
https://stacks.math.columbia.edu/tag/0BLQ#comment-5350

Author: aisejohan

Diff for: pione.tex

@@ -1845,7 +1845,7 @@ \section{Local connectedness}
 internal hom (Lemma \ref{lemma-internal-hom-finite-etale})
 it suffices to prove the following: Given $Y$ finite \'etale over $X$
 any morphism $s : U \to Y$ over $X$ extends to a morphism $t : X \to Y$
-over $Y$. Let $A^{sh}$ be the strict henselization of $A$ and denote
+over $X$. Let $A^{sh}$ be the strict henselization of $A$ and denote
 $X^{sh} = \Spec(A^{sh})$, $U^{sh} = U \times_X X^{sh}$,
 $Y^{sh} = Y \times_X X^{sh}$. By the first paragraph and our assumption
 on $A$, we can extend the base change $s^{sh} : U^{sh} \to Y^{sh}$ of $s$ to