diff -r f3debc0c8eb2 -r 68a42be6129e index.html
--- a/index.html	Thu Feb 13 15:54:41 2014 +0000
+++ b/index.html	Thu Feb 13 19:20:53 2014 +0000
@@ -139,7 +139,9 @@
 <H4>Venue and Accommodation</H4>
 
 The plan is to host the conference at the
-<A HREF="http://english.ctrip.com/hotels/nanjing-hotel-detail-66456/nanjing-hanyuan-mansion-center-of-academic-exchange/">Hanyuan Hotel</A>, which is inexpensive and in easy
+<A HREF="http://english.ctrip.com/hotels/nanjing-hotel-detail-66456/nanjing-hanyuan-mansion-center-of-academic-exchange/">Hanyuan Hotel</A>, which is inexpensive (ca. &#20803;350/&pound;35/$60/&euro;40 per
+night including breakfast) and
+in easy
 reach from the city centre (see <A HREF="https://maps.google.com/maps?q=Hanyuan+Mansion,+20+Tongwei+Road,+Xuanwu,+Nanjing,+Jiangsu,+China,+210095&hl=en&ll=32.029617,118.838768&spn=0.204033,0.292854&sll=32.010405,118.824692&sspn=0.204076,0.292854&t=m&z=12">here</A> at Google Maps). It has the usual amenities for hosting
 conferences (Wifi, conference rooms, etc) and has links to neighbouring universities. There is also
 the possibility to use lecture rooms for free in Xingyuan's university at the other side of the road.
@@ -176,7 +178,7 @@
 
 There are several groups in the ITP area that are active in China. For example for the last
 five years there have been popular
-<A HREF="http://sts.thss.tsinghua.edu.cn/APSSFM_2013">summershools</A> in China about Coq
+<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
 China, and this might be an opportunity for the ITP community to foster relations
@@ -227,13 +229,13 @@
 We will seek to keep costs low by negotiating discounts with
 the hotel and by trying to find sponsoring where sensible.  
 
-<H4>Experience of the Programme Chairs</H4>
+<H4>Experience of the Programme Chairs and Local Organisation</H4>
 
-Xingyuan and Christian are regular participants at ITP having had the good fortune of their 
-papers being accepted at all ITPs so far. Christian was a co-organiser of the TPHOLs conference
+Xingyuan and Christian are regular participants at ITP. Christian was a
+co-organiser of the TPHOLs conference
 in 2009 in <A HREF="http://isabelle.in.tum.de/nominal/activities/tphols09/">Munich</A>.
-
-
+We will make use of the infrastructure available at Xingyuan's university for local
+organisation.
 </TD>
 </TR>
 </TABLE>