--- a/Journal/document/root.bib	Fri Aug 26 17:23:46 2011 +0000
+++ b/Journal/document/root.bib	Fri Aug 26 17:29:07 2011 +0000
@@ -1,7 +1,7 @@
 
 @incollection{myhillnerodeafp11,
   author =       {C.~Wu and X.~Zhang and C.~Urban},
-  title =        {{A} {F}ormalisation of the {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions},
+  title =        {{T}he {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions},
   booktitle =    {The Archive of Formal Proofs},
   editor =       {G.~Klein and T.~Nipkow and L.~Paulson},
   publisher =    {\url{http://afp.sf.net/entries/Myhill-Nerode.shtml}},