diff -r 7552a9ffbe80 -r 870d6fac5420 text/ncat.tex
--- a/text/ncat.tex	Fri Jul 15 14:48:43 2011 -0700
+++ b/text/ncat.tex	Fri Jul 15 15:03:22 2011 -0700
@@ -944,7 +944,7 @@
 then Axiom \ref{axiom:families} implies Axiom \ref{axiom:extended-isotopies}.
 
 Another variant of the above axiom would be to drop the ``up to homotopy" and require a strictly associative action. 
-In fact, the alternative construction of the blob complex described in \S \ref{ss:alt-def} 
+In fact, the alternative construction $\btc_*(X)$ of the blob complex described in \S \ref{ss:alt-def} 
 gives $n$-categories as in Example \ref{ex:blob-complexes-of-balls} which satisfy this stronger axiom; 
 since that construction is only homotopy equivalent to the usual one, only the weaker axiom carries across.
 
@@ -1143,11 +1143,11 @@
 For a $k$-ball $X$, with $k < n$, the set $\pi^\infty_{\leq n}(T)(X)$ is just $\Maps(X \to T)$.
 Define $\pi^\infty_{\leq n}(T)(X; c)$ for an $n$-ball $X$ and $c \in \pi^\infty_{\leq n}(T)(\bdy X)$ to be the chain complex
 \[
-	C_*(\Maps_c(X\times F \to T)),
+	C_*(\Maps_c(X \to T)),
 \]
 where $\Maps_c$ denotes continuous maps restricting to $c$ on the boundary,
 and $C_*$ denotes singular chains.
-Alternatively, if we take the $n$-morphisms to be simply $\Maps_c(X\times F \to T)$, 
+Alternatively, if we take the $n$-morphisms to be simply $\Maps_c(X \to T)$, 
 we get an $A_\infty$ $n$-category enriched over spaces.
 \end{example}