diff -r 55f33da63366 -r 458068404143 doc-src/TutorialI/CTL/document/CTL.tex
--- a/doc-src/TutorialI/CTL/document/CTL.tex	Wed Dec 13 09:32:55 2000 +0100
+++ b/doc-src/TutorialI/CTL/document/CTL.tex	Wed Dec 13 09:39:53 2000 +0100
@@ -139,7 +139,7 @@
 \noindent
 Element \isa{n\ {\isacharplus}\ {\isadigit{1}}} on this path is some arbitrary successor
 \isa{t} of element \isa{n} such that \isa{P\ t} holds.  Remember that \isa{SOME\ t{\isachardot}\ R\ t}
-is some arbitrary but fixed \isa{t} such that \isa{R\ t} holds (see \S\ref{sec-SOME}). Of
+is some arbitrary but fixed \isa{t} such that \isa{R\ t} holds (see \S\ref{sec:SOME}). Of
 course, such a \isa{t} may in general not exist, but that is of no
 concern to us since we will only use \isa{path} in such cases where a
 suitable \isa{t} does exist.