diff -r 58619a8f689a -r bdf7a09e950b index.html~
--- a/index.html~	Fri Feb 14 00:21:59 2014 +0000
+++ b/index.html~	Sat Feb 15 17:19:55 2014 +0000
@@ -170,7 +170,7 @@
 </center>
 
 There are also many additional
-<A HREF="http://wikitravel.org/en/Nanjing#Sleep">hotels</A> in all prize categories nearby.
+<A HREF="http://wikitravel.org/en/Nanjing#Sleep">hotels</A> in all price categories nearby.
 
 
 <H4>Advantages of Hosting ITP in Nanjing</H4>
@@ -179,7 +179,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://itp2013.inria.fr/history.html">never</A> been hosted in
+<A HREF="http://www.cs.uwyo.edu/~ruben/itp-2014/Main/History">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.