--- a/Cookbook/main.html	Fri Aug 31 10:17:42 2012 +0100
+++ b/Cookbook/main.html	Wed Sep 05 23:07:56 2012 +0100
@@ -109,6 +109,11 @@
 <H3><A NAME="readers"></A>What early readers said:</H3>
 
 <i>
+GREAT!!! That's exactly what I was looking for! (Thomas Genet, ISTIC/IRISA, 2012)
+</i>
+
+<p>
+<i>
 The tutorial really is quite nice. (Jeremy Avigad, CMU, 2011)
 </i>
 
@@ -184,4 +189,4 @@
 <!-- hhmts end -->
 
 </body>
-</html>
\ No newline at end of file
+</html>

--- a/travelling.html	Fri Aug 31 10:17:42 2012 +0100
+++ b/travelling.html	Wed Sep 05 23:07:56 2012 +0100
@@ -64,7 +64,7 @@
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H2>Talks and Travel Plans</H2>
 <ul class="striped">
-<li> Talk at Wessex Theory Seminar (29 August, host: Dr Dirk Patinson)
+<li> Talk at Wessex Theory Seminar at Imperial (29 August, host: Dr Dirk Patinson)
 </ul>
 </TD>
 </TR>