diff --git a/source/templates.tex b/source/templates.tex
index 0294586daa..c0842075e8 100644
--- a/source/templates.tex
+++ b/source/templates.tex
@@ -1845,7 +1845,7 @@
 \tcode{CD} is satisfied if \tcode{CI$''$} is satisfied.
 \begin{note}
 Checking whether \tcode{CI$''$} is satisfied
-can lead to further normalization of concept-dependent constraints.
+can lead to further satisfaction checking of concept-dependent constraints.
 \end{note}
 %FIXME: "_" in the example below is not a valid identifier.
 \begin{example}