U_i -> U_i \times_X U_i

Thanks to Owen
https://stacks.math.columbia.edu/tag/099X#comment-6327

proetale.tex

@@ -4046,7 +4046,7 @@ \section{Comparison with the \'etale site}
 \epsilon^{-1}\mathcal{G}(U \times_X U \times_X U) =
 \colim \mathcal{G}(U_i \times_X U_i \times_X U_i)
 $$
-hence we can find an $i$ and an element $g_i \in \mathcal{G}(U_i)$
+hence we can find an $i$ and an element $g_i \in \mathcal{G}(U_i \times_X U_i)$
 mapping to $g$ satisfying the cocycle condition.
 The cocycle $g_i$ then defines a torsor for $\mathcal{G}$ on
 $X_\etale$ whose pullback is isomorphic to $\mathcal{F}$