diff -r 3b3cc0cf533f -r b44ad7e4c4d2 doc-src/TutorialI/Recdef/document/simplification.tex
--- a/doc-src/TutorialI/Recdef/document/simplification.tex	Mon Mar 19 13:05:56 2001 +0100
+++ b/doc-src/TutorialI/Recdef/document/simplification.tex	Mon Mar 19 13:28:06 2001 +0100
@@ -44,11 +44,10 @@
 simplification steps. Fortunately, this problem can be avoided in many
 different ways.
 
-The most radical solution is to disable the offending
-\isa{split{\isacharunderscore}if} as shown in the section on case splits in
-\S\ref{sec:Simplification}.  However, we do not recommend this because it
-means you will often have to invoke the rule explicitly when \isa{if} is
-involved.
+The most radical solution is to disable the offending \isa{split{\isacharunderscore}if}
+as shown in \S\ref{sec:AutoCaseSplits}.  However, we do not recommend this
+because it means you will often have to invoke the rule explicitly when
+\isa{if} is involved.
 
 If possible, the definition should be given by pattern matching on the left
 rather than \isa{if} on the right. In the case of \isa{gcd} the