--- a/text/comm_alg.tex	Mon Jul 12 17:29:25 2010 -0600
+++ b/text/comm_alg.tex	Wed Jul 14 11:06:11 2010 -0600
@@ -100,7 +100,7 @@
 
 \begin{proof}
 The actions agree in degree 0, and both are compatible with gluing.
-(cf. uniqueness statement in \ref{CHprop}.)
+(cf. uniqueness statement in Theorem \ref{thm:CH}.)
 \end{proof}
 
 \medskip