diff -r 48b246f6a7ad -r b5c1a6aec50d text/intro.tex
--- a/text/intro.tex	Wed Oct 28 21:18:55 2009 +0000
+++ b/text/intro.tex	Wed Oct 28 21:41:53 2009 +0000
@@ -207,7 +207,7 @@
 
 
 
-\begin{property}[Relation to mapping spaces]
+\begin{property}[Mapping spaces]
 Let $\pi^\infty_{\le n}(W)$ denote the $A_\infty$ $n$-category based on maps 
 $B^n \to W$.
 (The case $n=1$ is the usual $A_\infty$ category of paths in $W$.)