--- a/text/appendixes/comparing_defs.tex	Tue Aug 31 11:18:26 2010 -0700
+++ b/text/appendixes/comparing_defs.tex	Tue Aug 31 21:09:31 2010 -0700
@@ -594,7 +594,6 @@
 Given a non-standard interval $J$, we define $\cC(J)$ to be
 $(\Homeo(I\to J) \times A)/\Homeo(I\to I)$,
 where $\beta \in \Homeo(I\to I)$ acts via $(f, a) \mapsto (f\circ \beta\inv, \beta_*(a))$.
-\nn{check this}
 Note that $\cC(J) \cong A$ (non-canonically) for all intervals $J$.
 We define a $\Homeo(J)$ action on $\cC(J)$ via $g_*(f, a) = (g\circ f, a)$.
 The $C_*(\Homeo(J))$ action is defined similarly.