1.1 --- a/doc-src/TutorialI/Documents/document/Documents.tex	Tue Jan 08 17:51:56 2002 +0100
     1.2 +++ b/doc-src/TutorialI/Documents/document/Documents.tex	Tue Jan 08 18:08:02 2002 +0100
     1.3 @@ -670,7 +670,7 @@
     1.4  \end{isamarkuptext}%
     1.5  \isamarkuptrue%
     1.6  %
     1.7 -\isamarkupsubsection{Interpretation of symbols \label{sec:doc-prep-symbols}%
     1.8 +\isamarkupsubsection{Interpretation of Symbols \label{sec:doc-prep-symbols}%
     1.9  }
    1.10  \isamarkuptrue%
    1.11  %