--- a/text/evmap.tex	Tue Sep 21 14:44:17 2010 -0700
+++ b/text/evmap.tex	Tue Sep 21 17:28:14 2010 -0700
@@ -415,7 +415,7 @@
 (For convenience, we will permit the singular cells generating $CH_*(X, Y)$ to be more general
 than simplices --- they can be based on any cone-product polyhedron (see Remark \ref{blobsset-remark}).)
 
-\begin{thm}  \label{thm:CH}
+\begin{thm}  \label{thm:CH} \label{thm:evaluation}%
 For $n$-manifolds $X$ and $Y$ there is a chain map
 \eq{
     e_{XY} : CH_*(X, Y) \otimes \bc_*(X) \to \bc_*(Y) ,
@@ -424,7 +424,7 @@
 such that
 \begin{enumerate}
 \item on $CH_0(X, Y) \otimes \bc_*(X)$ it agrees with the obvious action of 
-$\Homeo(X, Y)$ on $\bc_*(X)$  described in Property (\ref{property:functoriality}), and
+$\Homeo(X, Y)$ on $\bc_*(X)$  described in Property \ref{property:functoriality}, and
 \item for any compatible splittings $X\to X\sgl$ and $Y\to Y\sgl$, 
 the following diagram commutes up to homotopy
 \begin{equation*}