--- a/Paper/Paper.thy	Fri Oct 08 15:35:14 2010 +0100
+++ b/Paper/Paper.thy	Fri Oct 08 15:37:11 2010 +0100
@@ -2340,7 +2340,7 @@
   exist in Ott. 
   We have tried out the extension with calculi such as Core-Haskell, type-schemes 
   and approximately a  dozen of other typical examples from programming 
-  language research \cite{SewellBestiary}. The code
+  language research~\cite{SewellBestiary}. The code
   will eventually become part of the next Isabelle distribution.\footnote{For the moment
   it can be downloaded from the Mercurial repository linked at
   \href{http://isabelle.in.tum.de/nominal/download}