--- a/index.html	Wed Feb 12 19:06:33 2014 +0000
+++ b/index.html	Wed Feb 12 19:22:43 2014 +0000
@@ -153,15 +153,18 @@
 </table>
 </center>
 
-There are also many nearby hotels in all prize categories (link?). Hanyuan Hotel includes
+There are also many nearby hotels in all prize categories (link?).
+
+<p>
+Hanyuan Hotel includes
 a restaurant and there are innumerable
 <A HREF="http://www.chinatour.com/nanjing/nanjing-food.htm">restaurants</A>
 around the hotel and in downtown Nanjing, all usually very affordable.
 
 <H4>Advantages of Hosting ITP in Nanjing</H4>
 
-There are several groups active in China active in the ITP area. For example for the last
-five years there has been a popular
+There are several groups in the ITP area that are active in China. For example for the last
+five years there has been in China a popular
 <A HREF="http://sts.thss.tsinghua.edu.cn/APSSFM_2013">summershool</A> 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
@@ -189,23 +192,23 @@
 previous ITP conferences, we would allow ample time between the formal
 sessions for attendees to mingle and converse. We expect workshops to
 take place during one or two days before or after the main
-conference. Half a day will be dedicated to an excursion.
+conference. Half a day will be dedicated to an excursion...
 
 <H4>Excursion</H4>
 
-We have two possible destinations for excursions in mind: one is to
-Yangzhou, and the other is more leisurly tour of Nanjing...
+We have two possible destinations for an excursion in mind: one is to
+Yangzhou, and the other is more leisurly &#8212; a tour of Nanjing...
 
 
 
 <H4>Finance</H4>
 
 We will seek to keep costs low by negotiating discounts with
-the hotel and try to find sponsoring where sensible.  
+the hotel and by trying to find sponsoring where sensible.  
 
 <H4>Experience of the Programme Chairs</H4>
 
-Xingyuan and Christian are regular participants at ITP having the good fortune to have
+Xingyuan and Christian are regular participants at ITP having had the good fortune to have
 papers accepted at all ITPs so far. Christian was a co-organiser of the TPHOLs conference
 in 2009 in <A HREF="http://isabelle.in.tum.de/nominal/activities/tphols09/">Munich</A>.