diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
index 79f839e32..3d4d6a9a7 100644
--- a/specification/dartLangSpec.tex
+++ b/specification/dartLangSpec.tex
@@ -35,6 +35,10 @@
 % version of the language which will actually be specified by the next stable
 % release of this document.
 %
+% Dec 2023
+% - Specify in which situations it is an error to declare an initializing
+%   formal parameter.
+%
 % Mar 2023
 % - Clarify how line breaks are handled in a multi-line string literal. Rename
 %   the lexical token NEWLINE to LINE\_BREAK (clarifying that it is not `\n`).
@@ -3654,10 +3658,10 @@ \subsubsection{Generative Constructors}
 
 \LMHash{}%
 It is a compile-time error for an initializing formal parameter
-to occur in any function which is not
-a non-redirecting, non-external, generative constructor
-(\ref{requiredFormals}).
-\commentary{This implies that there is always an enclosing class. }
+to occur in any function which is not a generative constructor.
+Also, it is a compile-time error for an initializing formal parameter
+to occur in a redirecting and in an external constructor.
+\commentary{In particuar, there is always an enclosing class.}
 
 \LMHash{}%
 Assume that $p$ is a declaration of an initializing formal parameter named \id.