--- a/text/intro.tex	Tue Mar 27 06:20:54 2012 +1100
+++ b/text/intro.tex	Thu Apr 26 06:57:24 2012 -0600
@@ -41,11 +41,11 @@
 %(Don't worry, it wasn't that hard.)
 In most of the places where we say ``set" or ``vector space", any symmetric monoidal category 
 with sufficient limits and colimits would do.
-We could also replace many of our chain complexes with topological spaces (or indeed, work at the generality of model categories).
+Similarly, in many places chain complexes could be replaced by more general objects, but we have not pursued this.
 
 {\bf Note:} For simplicity, we will assume that all manifolds are unoriented and piecewise linear, unless stated otherwise.
 In fact, all the results in this paper also hold for smooth manifolds, 
-as well as manifolds equipped with an orientation, spin structure, or $\mathrm{Pin}_\pm$ structure.  
+as well as manifolds (PL or smooth) equipped with an orientation, spin structure, or $\mathrm{Pin}_\pm$ structure.  
 We will use ``homeomorphism" as a shorthand for ``piecewise linear homeomorphism".
 The reader could also interpret ``homeomorphism" to mean an isomorphism in whatever category of manifolds we happen to 
 be working in (e.g.\ spin piecewise linear, oriented smooth, etc.).