--- a/text/intro.tex	Wed Dec 07 23:00:54 2011 -0800
+++ b/text/intro.tex	Thu Dec 08 09:45:16 2011 -0800
@@ -177,7 +177,7 @@
 
 For non-semi-simple TQFTs, this approach is less satisfactory.
 Our main motivating example (though we will not develop it in this paper)
-is the (decapitated) $4{+}1$-dimensional TQFT associated to Khovanov homology.
+is the $(4{+}\varepsilon)$-dimensional TQFT associated to Khovanov homology.
 It associates a bigraded vector space $A_{Kh}(W^4, L)$ to a 4-manifold $W$ together
 with a link $L \subset \bd W$.
 The original Khovanov homology of a link in $S^3$ is recovered as $A_{Kh}(B^4, L)$.
@@ -209,10 +209,10 @@
 
 Instead, we would prefer a definition for a derived version of $A_{Kh}(W^4, L)$
 which is manifestly invariant.
-(That is, a definition that does not
+In other words, we want a definition that does not
 involve choosing a decomposition of $W$.
 After all, one of the virtues of our starting point --- TQFTs via field and local relations ---
-is that it has just this sort of manifest invariance.)
+is that it has just this sort of manifest invariance.
 
 The solution is to replace $A_{Kh}(W^4, L)$, which is a quotient
 \[
@@ -225,7 +225,8 @@
 Here $\bc_0$ is linear combinations of fields on $W$,
 $\bc_1$ is linear combinations of local relations on $W$,
 $\bc_2$ is linear combinations of relations amongst relations on $W$,
-and so on. We now have a short exact sequence of chain complexes relating resolutions of the link $L$ 
+and so on. 
+We now have a long exact sequence of chain complexes relating resolutions of the link $L$ 
 (c.f. Lemma \ref{lem:hochschild-exact} which shows exactness 
 with respect to boundary conditions in the context of Hochschild homology).
 
@@ -425,7 +426,7 @@
 (see \S \ref{ss:product-formula}).
 
 Fix a disk-like $n$-category $\cC$, which we'll omit from the notation.
-Recall that for any $(n-1)$-manifold $Y$, the blob complex $\bc_*(Y)$ is naturally an $A_\infty$ 1-category.
+Recall that for any $(n{-}1)$-manifold $Y$, the blob complex $\bc_*(Y)$ is naturally an $A_\infty$ 1-category.
 (See Appendix \ref{sec:comparing-A-infty} for the translation between disk-like $A_\infty$ $1$-categories 
 and the usual algebraic notion of an $A_\infty$ category.)