--- a/Journal/document/root.tex	Mon Feb 20 11:02:50 2012 +0000
+++ b/Journal/document/root.tex	Wed Feb 22 13:25:49 2012 +0000
@@ -42,8 +42,7 @@
 \thanks{This is a revised and expanded version of \cite{WuZhangUrban11}.}
 \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}
+\author{Christian Urban}\address{King's College London, United Kingdom}\secondaddress{corresponding author}
 \subjclass{68Q45}
 \keywords{Myhill-Nerode theorem, regular expressions, Isabelle theorem prover}