diff -r 9576c3d68a3d -r 0d62ea7c653d text/comm_alg.tex
--- a/text/comm_alg.tex	Tue Jul 13 12:47:58 2010 -0600
+++ b/text/comm_alg.tex	Wed Jul 14 11:06:20 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