diff -r 979fbe9a14e8 -r a02a6158f3bd text/hochschild.tex
--- a/text/hochschild.tex	Fri Jun 25 09:48:24 2010 -0700
+++ b/text/hochschild.tex	Sat Jun 26 16:31:28 2010 -0700
@@ -66,7 +66,8 @@
 so it suffices to show that they are quasi-isomorphic.
 
 We claim that
-\begin{thm} \label{hochthm}
+\begin{thm}
+\label{thm:hochschild}
 The blob complex $\bc_*(S^1; C)$ on the circle is homotopy equivalent to the
 usual Hochschild complex for $C$.
 \end{thm}