diff -r 5ab08609e6c8 -r e2d0dda41f2c doc-src/TutorialI/Misc/document/Itrev.tex
--- a/doc-src/TutorialI/Misc/document/Itrev.tex	Mon Nov 06 11:32:23 2000 +0100
+++ b/doc-src/TutorialI/Misc/document/Itrev.tex	Mon Nov 06 16:41:39 2000 +0100
@@ -2,7 +2,8 @@
 \begin{isabellebody}%
 \def\isabellecontext{Itrev}%
 %
-\isamarkupsection{Induction heuristics}
+\isamarkupsection{Induction heuristics%
+}
 %
 \begin{isamarkuptext}%
 \label{sec:InductionHeuristics}