--- a/text/hochschild.tex Tue Sep 21 14:44:17 2010 -0700
+++ b/text/hochschild.tex Tue Sep 21 17:28:14 2010 -0700
@@ -455,11 +455,11 @@
($G''_*$ and $G'_*$ depend on $N$, but that is not reflected in the notation.)
Then $G''_*$ and $G'_*$ are both contractible
and the inclusion $G''_* \sub G'_*$ is a homotopy equivalence.
-For $G'_*$ the proof is the same as in (\ref{bcontract}), except that the splitting
+For $G'_*$ the proof is the same as in Lemma \ref{bcontract}, except that the splitting
$G'_0 \to H_0(G'_*)$ concentrates the point labels at two points to the right and left of $*$.
For $G''_*$ we note that any cycle is supported away from $*$.
Thus any cycle lies in the image of the normal blob complex of a disjoint union
-of two intervals, which is contractible by (\ref{bcontract}) and (\ref{disj-union-contract}).
+of two intervals, which is contractible by Lemma \ref{bcontract} and Corollary \ref{disj-union-contract}.
Finally, it is easy to see that the inclusion
$G''_* \to G'_*$ induces an isomorphism on $H_0$.