--- 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,