--- a/text/ncat.tex	Tue Mar 30 10:03:48 2010 -0700
+++ b/text/ncat.tex	Tue Mar 30 15:12:27 2010 -0700
@@ -443,7 +443,7 @@
 which fix $\bd X$.
 These action maps are required to be associative up to homotopy
 \nn{iterated homotopy?}, and also compatible with composition (gluing) in the sense that
-a diagram like the one in Proposition \ref{CDprop} commutes.
+a diagram like the one in Proposition \ref{CHprop} commutes.
 \nn{repeat diagram here?}
 \nn{restate this with $\Homeo(X\to X')$?  what about boundary fixing property?}
 \end{axiom-numbered}
@@ -967,7 +967,7 @@
 which fix $\bd M$.
 These action maps are required to be associative up to homotopy
 \nn{iterated homotopy?}, and also compatible with composition (gluing) in the sense that
-a diagram like the one in Proposition \ref{CDprop} commutes.
+a diagram like the one in Proposition \ref{CHprop} commutes.
 \nn{repeat diagram here?}
 \nn{restate this with $\Homeo(M\to M')$?  what about boundary fixing property?}}