diff -r c9f41c18a96f -r 9dfb5db2acd7 text/hochschild.tex
--- 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$.