diff --git a/source/templates.tex b/source/templates.tex
index b88b4a7b0e..c91178088f 100644
--- a/source/templates.tex
+++ b/source/templates.tex
@@ -1948,7 +1948,7 @@
 that is either \tcode{\&\&} or \tcode{||},
 the normal form of an expression
 \tcode{( E1 \grammarterm{fold-operator} ... \grammarterm{fold-operator} E2 )}
-is the the normal form of
+is the normal form of
 \begin{itemize}
 \item
 \tcode{( E1 \grammarterm{fold-operator} ... ) \grammarterm{fold-operator} E2}