diff -r 03ab22cb0f03 -r 0dabc9c2d59e index.html
--- a/index.html	Thu Feb 13 15:28:27 2014 +0000
+++ b/index.html	Thu Feb 13 15:29:19 2014 +0000
@@ -229,8 +229,8 @@
 
 <H4>Experience of the Programme Chairs</H4>
 
-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
+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
 in 2009 in <A HREF="http://isabelle.in.tum.de/nominal/activities/tphols09/">Munich</A>.