--- a/text/a_inf_blob.tex	Tue Aug 31 11:18:26 2010 -0700
+++ b/text/a_inf_blob.tex	Tue Aug 31 21:09:31 2010 -0700
@@ -394,7 +394,7 @@
 the same space of singular chains on maps from $M$ to $T$, with the additional hypothesis that $T$ is $n-1$-connected.
 This extra hypothesis is not surprising, in view of the idea described in Example \ref{ex:e-n-alg} 
 that an $E_n$ algebra is roughly equivalent data to an $A_\infty$ $n$-category which 
-is trivial at all but the topmost level.
+is trivial at levels 0 through $n-1$.
 Ricardo Andrade also told us about a similar result.
 \end{rem}
 

--- 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.

--- a/text/ncat.tex	Tue Aug 31 11:18:26 2010 -0700
+++ b/text/ncat.tex	Tue Aug 31 21:09:31 2010 -0700
@@ -2336,7 +2336,9 @@
 
 For $n=1$ we have to check an additional ``global" relations corresponding to 
 rotating the 0-sphere $E$ around the 1-sphere $\bd X$.
-\nn{should check this global move, or maybe cite Frobenius reciprocity result}
+But if $n=1$, then we are in the case of ordinary algebroids and bimodules,
+and this is just the well-known ``Frobenius reciprocity" result for bimodules.
+\nn{find citation for this.  Evans and Kawahigashi?}
 
 \medskip