diff -r c5a35886cd82 -r 93ce0ba3d2d7 text/deligne.tex
--- a/text/deligne.tex	Mon Jul 12 17:29:25 2010 -0600
+++ b/text/deligne.tex	Wed Jul 14 11:06:11 2010 -0600
@@ -227,7 +227,7 @@
 \begin{proof}
 As described above, $FG^n_{\overline{M}, \overline{N}}$ is equal to the disjoint
 union of products of homeomorphism spaces, modulo some relations.
-By Proposition \ref{CHprop} and the Eilenberg-Zilber theorem, we have for each such product $P$
+By Theorem \ref{thm:CH} and the Eilenberg-Zilber theorem, we have for each such product $P$
 a chain map
 \[
 	C_*(P)\otimes \hom(\bc_*(M_1), \bc_*(N_1))\otimes\cdots\otimes