diff -r 7afacaa87bdb -r ff867bfc8e9c text/hochschild.tex
--- a/text/hochschild.tex	Thu May 27 15:06:48 2010 -0700
+++ b/text/hochschild.tex	Thu May 27 20:09:47 2010 -0700
@@ -176,6 +176,7 @@
 \ref{lem:hochschild-free}.
 \end{proof}
 
+\subsection{Technical details}
 \begin{proof}[Proof of Lemma \ref{lem:module-blob}]
 We show that $K_*(C)$ is quasi-isomorphic to $\bc_*(S^1)$.
 $K_*(C)$ differs from $\bc_*(S^1)$ only in that the base point *
@@ -468,7 +469,7 @@
 It follows that $H_0(K''_*) \cong C$.
 \end{proof}
 
-\medskip
+\subsection{An explicit chain map in low degrees}
 
 For purposes of illustration, we describe an explicit chain map
 $\HC_*(M) \to K_*(M)$