diff -r 867ea1282ae5 -r e8fb82036747 publications.html
--- a/publications.html	Fri Jun 12 21:54:36 2015 +0100
+++ b/publications.html	Fri Jun 12 21:56:06 2015 +0100
@@ -376,7 +376,7 @@
     &copy <A HREF="http://link.springer.com/chapter/10.1007%2F11417170_29">Springer Verlag</A>
     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/alpha-tlca.ps">ps</A>]
     <p>
-    This paper is superseded by the journal version in 2008.
+    (This paper is superseded by the journal version in 2007.)
 </TD>
 </TR>
 
@@ -505,7 +505,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Fri Jun 12 21:54:20 BST 2015 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Fri Jun 12 21:55:58 BST 2015 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
  
 </BODY>