diff --git a/docs/model.tex b/docs/model.tex
index 166b3ef6e8e640a94d4f4694845d027e6dcd69d9..4b68fda0767138c52113e341aa812060636a91a2 100644
--- a/docs/model.tex
+++ b/docs/model.tex
@@ -152,7 +152,7 @@ The remaining domains are interpreted as follows:
 \Sem{\type \to \type'} &\eqdef& \Sem{\type} \nfn \Sem{\type} \\
 \end{array}
 \]
-For the remaining base types $\type$ defined by the signature $\Sig$, we pick an object $X_\type$ in $\cal U$ and define
+For the remaining base types $\type$ defined by the signature $\Sig$, we pick an object $X_\type$ in $\COFEs$ and define
 \[
 \Sem{\type} \eqdef X_\type
 \]