--- a/text/ncat.tex	Thu Jun 03 23:08:47 2010 -0700
+++ b/text/ncat.tex	Fri Jun 04 08:15:08 2010 -0700
@@ -7,6 +7,7 @@
 \label{sec:ncats}
 
 \subsection{Definition of $n$-categories}
+\label{ss:n-cat-def}
 
 Before proceeding, we need more appropriate definitions of $n$-categories, 
 $A_\infty$ $n$-categories, modules for these, and tensor products of these modules.
@@ -536,7 +537,7 @@
 Given a `traditional $n$-category with strong duality' $C$
 define $\cC(X)$, for $X$ a $k$-ball with $k < n$,
 to be the set of all $C$-labeled sub cell complexes of $X$ (c.f. \S \ref{sec:fields}).
-For $X$ an $n$-ball and $c\in \cl{\cC}(\bd X)$, define $\cC(X)$ to finite linear
+For $X$ an $n$-ball and $c\in \cl{\cC}(\bd X)$, define $\cC(X; c)$ to be finite linear
 combinations of $C$-labeled sub cell complexes of $X$
 modulo the kernel of the evaluation map.
 Define a product morphism $a\times D$, for $D$ an $m$-ball, to be the product of the cell complex of $a$ with $D$,