--- a/src/Doc/IsarImplementation/Local_Theory.thy	Fri Jun 21 13:36:10 2013 +0200
+++ b/src/Doc/IsarImplementation/Local_Theory.thy	Sat Jun 22 18:24:06 2013 +0200
@@ -159,9 +159,10 @@
 
 section {* Morphisms and declarations \label{sec:morphisms} *}
 
-text {* FIXME
+text {*
+  %FIXME
 
-  \medskip See also \cite{Chaieb-Wenzel:2007}.
+  See also \cite{Chaieb-Wenzel:2007}.
 *}
 
 end