--- a/blob1.tex	Tue Jul 01 04:00:22 2008 +0000
+++ b/blob1.tex	Tue Jul 01 21:10:16 2008 +0000
@@ -984,6 +984,7 @@
 \gl : A(J, c_-, c_0) \tensor A(J', c_0, c_+) \to A(J \cup J', c_-, c_+).
 \end{equation*}
 The action of diffeomorphisms, and $k$-parameter families of diffeomorphisms, ignore the boundary conditions.
+\todo{we presumably need to say something about $\Id_c \in A(J, c, c)$.}
 
 The definition of a module follows closely the definition of an algebra or category.
 \begin{defn}
@@ -1019,7 +1020,7 @@
 \end{defn}
 
 Give an `algebraic' $A_\infty$ category $(A, m_k)$, we can construct a topological $A_\infty$-category, which we call $\bc_*^A$. You should
-think of this at the generalisation of the blob complex, although the construction we give will \emph{not} specialise to exactly the usual definition
+think of this as a generalisation of the blob complex, although the construction we give will \emph{not} specialise to exactly the usual definition
 in the case the $A$ is actually an associative category.
 \begin{defn}
 \end{defn}