diff -r 01007191df40 -r 483f2656cd4a index.html
--- a/index.html	Sun Nov 30 10:24:20 2014 +0000
+++ b/index.html	Sun Nov 30 10:27:31 2014 +0000
@@ -304,7 +304,7 @@
 five years there have been popular
 <A HREF="http://sts.thss.tsinghua.edu.cn/APSSFM_2013">summerschools</A> in China about Coq
 with 50 or so student participants each. ITP (and TPHOLs) have
-<A HREF="http://www.cs.uwyo.edu/~ruben/itp-2014/Main/History">never</A> been hosted in
+<A HREF="history.html">never</A> been hosted in
 China, and this might be an opportunity for the ITP community to foster relations
 with researchers from China and Asia, and for local researchers to become part of the
 ITP community.