--- a/Journal/document/root.tex	Wed Aug 17 07:43:09 2011 +0000
+++ b/Journal/document/root.tex	Wed Aug 17 17:36:19 2011 +0000
@@ -43,7 +43,7 @@
 \author{Chunhan Wu}\address{PLA University of Science and Technology, China}
 \author{Xingyuan Zhang}\sameaddress{1}
 \author{Christian Urban}\address{TU Munich,
-  Germany}%%\secondaddress{corresponding author}
+  Germany}\secondaddress{corresponding author}
 \subjclass{68Q45}
 \keywords{Myhill-Nerode theorem, regular expressions, Isabelle theorem prover}