--- a/publications.html	Wed Sep 25 17:12:38 2019 +0100
+++ b/publications.html	Thu Oct 17 14:12:23 2019 +0100
@@ -128,7 +128,14 @@
 <p><B>A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions.</B> 
       (with Wu and Zhang) In
       Journal of Automatic Reasoning, 2014, Vol. 52(4), 451-480.
-      [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/rexp.pdf">pdf</A>]
+      [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/rexp.pdf">pdf</A>]<BR><BR>
+
+      (You should really use the linked version above, rather than the published
+      version from Springer: somehow Springer managed to delete the rather important 
+      word ``finite'' from Theorem 5. They probably did not like our formatting and 
+      fooled around with our formulas. And we of course did not notice in the galley 
+      proofs.)
+      
 <p><B>Revisiting Zucker's Work on the Correspondence Between Cut-Elimination and 
       Normalisation.</B> In Advances in Natural Deduction: A Celebration of Dag Prawitz's Work,
       Trends in Logic Series, Volume 39, 2014, Pages 31-50.