diff -r 9eb085881cd5 -r 5c9441cb0ea9 index.html
--- a/index.html	Sat Nov 29 21:49:49 2014 +0000
+++ b/index.html	Sat Nov 29 21:50:48 2014 +0000
@@ -137,7 +137,7 @@
 <p>
 <IMG SRC="pics/new.gif" ALT="" style="" align="left">There will be an Isabelle tutorial before the
 conference (21 - 23 August), and<BR><BR>
-<IMG SRC="pics/new.gif" ALT="" style="" align="left">there will be a Coq tutorial after the conference
+<IMG SRC="pics/new.gif" ALT="" style="" align="left">a Coq tutorial after the conference
 (27 - 29 August).<BR><BR>
 </p>