Not = but surjective

Thanks to ZL
https://stacks.math.columbia.edu/tag/0413#comment-8842

spaces-morphisms.tex

@@ -5925,7 +5925,7 @@ \section{Flat morphisms}
 Then the composition $U_i \to V_i \times_Y X \to V_i$ is a surjective,
 flat morphism of affines.
 Of course then $U = \coprod U_i \to X$ is surjective and \'etale
-and $U = V \times_Y X$. Moreover, the morphism $U \to V$ is the
+and $U \to V \times_Y X$ is surjective. Moreover, the morphism $U \to V$ is the
 disjoint union of the morphisms $U_i \to V_i$. Hence $U \to V$ is surjective,
 quasi-compact and flat. Consider the diagram
 $$