diff -r 24f14faacab4 -r 4d66ffe8dc85 text/appendixes/famodiff.tex --- a/text/appendixes/famodiff.tex Wed Jun 15 14:15:19 2011 -0600 +++ b/text/appendixes/famodiff.tex Thu Jun 16 08:51:40 2011 -0600 @@ -258,7 +258,8 @@ \item $h(p, 0) = f(p)$ for all $p\in P$. \item The restriction of $h(p, i)$ to $U_0^i \cup \cdots \cup U_i^i$ is equal to the homeomorphism $g$, for all $p\in P$. -\item For each fixed $p\in P$, the family of homeomorphisms $h(p, [i-1, i])$ is supported on $U_i^{i-1}$ +\item For each fixed $p\in P$, the family of homeomorphisms $h(p, [i-1, i])$ is supported on +$U_i^{i-1} \setmin (U_0^i \cup \cdots \cup U_{i-1}^i)$ (and hence supported on $U_i$). \end{itemize} To apply Theorem 5.1 of \cite{MR0283802}, the family $f(P)$ must be sufficiently small,