--- a/Journal/document/root.tex	Fri Mar 01 17:13:32 2013 +0000
+++ b/Journal/document/root.tex	Fri Mar 01 17:28:25 2013 +0000
@@ -50,6 +50,8 @@
 
 \title{A Formalisation of the Myhill-Nerode Theorem\\ based on Regular
   Expressions$^\star$\thanks{$^\star$ This is a revised and much expanded version of \cite{WuZhangUrban11}.}}
+\titlerunning{A Formalisation of the Myhill-Nerode Theorem based on Regular
+  Expressions}
 %\author{Chunhan Wu\\PLA University of Science and Technology Nanjing, China \and
 %Xingyuan Zhang\\PLA University of Science and Technology Nanjing, China \and
 %Christian Urban\\ King's College London, United Kingdom}