diff -r d31a9c505f29 -r 77b0cdeb0fcd text/hochschild.tex
--- a/text/hochschild.tex	Tue Mar 16 14:11:07 2010 +0000
+++ b/text/hochschild.tex	Thu Mar 18 19:40:46 2010 +0000
@@ -184,7 +184,7 @@
 
 We want to define a homotopy inverse to the above inclusion, but before doing so
 we must replace $\bc_*(S^1)$ with a homotopy equivalent subcomplex.
-Let $J_* \sub \bc_*(S^1)$ be the subcomplex where * does not lie to the boundary
+Let $J_* \sub \bc_*(S^1)$ be the subcomplex where * does not lie on the boundary
 of any blob.  Note that the image of $i$ is contained in $J_*$.
 Note also that in $\bc_*(S^1)$ (away from $J_*$) 
 a blob diagram could have multiple (nested) blobs whose