diff --git a/doc/tl/tl.tex b/doc/tl/tl.tex
index 6fd4d54f0..44b8ad1a0 100644
--- a/doc/tl/tl.tex
+++ b/doc/tl/tl.tex
@@ -869,10 +869,10 @@ is not a model of \samp{$\sere{a\PLUS{}\CONCAT\NOT
 
 Note that the semantics of $\sere{r}$ comes from the
 $\mathsf{cl}(\cdot)$ operator defined by~\citet{dax.09.atva}.  This
-differs from the interpretation of a SERE in the context of a temporal
-formula given by the PSL standard~\citep[Appendix~B.3.1.1.2,
-item~7]{psl.04.lrm}: the $\mathit{cl}(\cdot)$ semantics accepts more
-words.
+differs from the interpretation of a SERE $r$ in the context of a
+temporal formula given by the PSL standard~\citep[Appendix~B.3.1.1.2,
+item~7]{psl.04.lrm}: the $\sere{r}$ semantics used here corresponds to
+$r!\lor r$ in the PSL standard.
 
 \subsection{Syntactic Sugar}\label{sec:pslsugar}