--- a/publications.html	Fri Jun 16 21:47:25 2017 +0100
+++ b/publications.html	Fri Jun 16 21:49:32 2017 +0100
@@ -120,7 +120,7 @@
 </TD>
 </TR>
 
-</TR>
+<TR>
 <TD BGCOLOR="FFFFFF" WIDTH="75%">
 <H3>2014</H3>
 <p><B>A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions.</B>