diff --git a/src/content/2.3/free-monoids.tex b/src/content/2.3/free-monoids.tex
index ff1e2c5f4..5521b61b7 100644
--- a/src/content/2.3/free-monoids.tex
+++ b/src/content/2.3/free-monoids.tex
@@ -201,7 +201,7 @@ \section{Free Monoid Universal Construction}
 
 \src{snippet09}
 whose image under $U$ (remember, $U$ is a functor, so it
-maps morphisms to functions) factorizes through $p$:
+maps morphisms to functions) factorizes $q$ through $p$:
 
 \src{snippet10}
 If you think of $p$ as selecting the generators in $m$;