--- a/Journal/document/root.tex	Mon Jul 25 15:40:12 2011 +0000
+++ b/Journal/document/root.tex	Mon Jul 25 18:00:52 2011 +0000
@@ -34,7 +34,7 @@
 \newcommand{\bigplus}{\mbox{\Large\bf$+$}}
 \begin{document}
 
-\title{A Formalisation of the Myhill-Nerode Theorem based on Regular
+\title{A Formalisation of the Myhill-Nerode Theorem\\ based on Regular
   Expressions}
 \author{Chunhan Wu}\address{PLA University of Science and Technology, China}
 \author{Xingyuan Zhang}\sameaddress{1}