diff --git a/01-intro.tex b/01-intro.tex
index b335bd0..450e3c5 100644
--- a/01-intro.tex
+++ b/01-intro.tex
@@ -23,8 +23,8 @@
   is any pointed morphism, then there exists a unique morphism $c$ making the
   following diagram commutative,
   \[
-    \begin{tikzcd}[column sep=2.4cm]
-      X \ar[r, "a"'] \ar[rr, "s", bend left=10] & A \ar[r, "∃!c"'] & S.
+    \begin{tikzcd}
+      X \ar[r, "a"'] \ar[rr, "s", bend left=20] & A \ar[r, "∃!c"'] & S.
     \end{tikzcd}
   \]
 \end{defn}