diff --git a/chapters/synchronous.tex b/chapters/synchronous.tex
index 76ba98679..89585f8bd 100644
--- a/chapters/synchronous.tex
+++ b/chapters/synchronous.tex
@@ -551,7 +551,7 @@ \section{Clock Constructors}\label{clock-constructors}
   \end{example}
 \end{itemize}
 
-\section{Discrete States}\label{discrete-states}
+\section{Clocked State Variables}\label{clocked-state-variable}
 
 The previous value of a clocked variable can be accessed with the
 previous operator. Such a variable is called a clocked state variable.