diff --git a/docs/algebra.tex b/docs/algebra.tex
index 9042e89aa2c47fd06f2fe57c602e88d77f3f1c89..a120b09f0bcdf3099c5ce946873ec6290ceaa080 100644
--- a/docs/algebra.tex
+++ b/docs/algebra.tex
@@ -37,8 +37,7 @@
Note that $\COFEs$ is cartesian closed.
\begin{defn}
- A functor $F : \COFEs \to \COFEs$ is called \emph{locally non-expansive} if its actions $F_1$ on arrows is itself a non-expansive map.
- \ralf{We need bifunctors.}
+ A (bi)functor $F : \COFEs \to \COFEs$ is called \emph{locally non-expansive} if its action $F_1$ on arrows is itself a non-expansive map.
Similarly, $F$ is called \emph{locally contractive} if $F_1$ is a contractive map.
\end{defn}