diff --git a/coalgebra.tex b/coalgebra.tex
index 8ed60570af88d276b49a7750fe903f885adc45c2..c8c9602a99a379652ad58060d182bba0f05e6642 100644
--- a/coalgebra.tex
+++ b/coalgebra.tex
@@ -45,7 +45,7 @@
   For a \de{endofunctor} \(F : \map{\Set}{\Set}\) and two \fca{}
   \((C, c)\), \((D, d)\), are \emph{behaviourally equivalent} for
   \(C \ni x \sim y \in D\) if
-  \[ \exists h, k \st (C, c) \xrightarrow{h} (E, d) \xleftarrow{k} (D,
+  \[ \exists h, k \st (C, c) \xrightarrow{h} (E, e) \xleftarrow{k} (D,
     d), \] for some \((E, e)\).
 \end{definition}