--- a/index.html Sun Jun 21 15:29:37 2015 +0100
+++ b/index.html Sun Jun 21 15:32:17 2015 +0100
@@ -129,7 +129,7 @@
<P>
<B>Skolem Award</B> Together with
-<A HREF="http://www.pps.univ-paris-diderot.fr/~tasson/">Christine Tasson</A> I was awarded a
+<A HREF="http://www.pps.univ-paris-diderot.fr/~tasson/">Christine Tasson</A>, I was awarded a
<A HREF="http://www.cadeinc.org/SkolemAward.html">Thoralf Skolem Award</A>, a ten-year
test-of-time award from CADE, for our
<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/nom-cade-05.ps">paper</A>
@@ -341,7 +341,7 @@
</TABLE>
<P>
-<!-- hhmts start --> Last modified: Sun Jun 21 15:29:15 BST 2015 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Sun Jun 21 15:32:06 BST 2015 <!-- hhmts end -->
<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
</BODY>
</HTML>