--- a/index.html	Thu Aug 27 09:20:49 2015 +0800
+++ b/index.html	Thu Aug 27 09:25:33 2015 +0800
@@ -107,7 +107,7 @@
 
 
 <p>
-The 6th conference on Interactive Theorem Proving will be held in
+The 6th conference on Interactive Theorem Proving was held in
 Nanjing, China. 
 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> is situated
 in the heart of China &#8212; close to Shanghai and roughly
@@ -116,7 +116,7 @@
 HREF="http://www.cityofnanjing.com">cultural heritage</A>.  
 The proceedings will be published as usual in the
 <A HREF="http://link.springer.com/book/10.1007/978-3-319-22102-1">LNCS</A>
-Series. There will be an
+Series. There was an
 <A HREF="http://www21.in.tum.de/~nipkow/isa-tut-itp15.html">Isabelle tutorial</A> before the
 conference (21 - 23 August), and
 a <A HREF="coq.pdf">Coq tutorial</A> after the conference
@@ -140,7 +140,7 @@
 
 <center>
 <a href="itp-photo.jpg">
-<img src="itp-photo.jpg" width="40%" height="40%"></a>
+<img src="itp-photo-small.jpg" width="40%" height="40%"></a>
 </center>
 
 <H4><A NAME="programme">Programme</H4>