diff --git a/source/declarations.tex b/source/declarations.tex
index 96f5fc8e91..4409e846de 100644
--- a/source/declarations.tex
+++ b/source/declarations.tex
@@ -8408,9 +8408,15 @@
 For an \grammarterm{attribute-token}
 (including an \grammarterm{attribute-scoped-token})
 not specified in this document, the
-behavior is \impldef{behavior of non-standard attributes}.
-Any \grammarterm{attribute-token} that is not recognized by the implementation
+behavior is \impldef{behavior of non-standard attributes};
+any such \grammarterm{attribute-token} that is not recognized by the implementation
 is ignored.
+\begin{note}
+A program is ill-formed if it contains an \grammarterm{attribute}
+specified in \ref{dcl.attr} that violates
+the rules specifying to which entity or statement the attribute may apply or
+the syntax rules for the attribute's \grammarterm{attribute-argument-clause}, if any.
+\end{note}
 An \grammarterm{attribute-token} is reserved for future standardization if
 \begin{itemize}
 \item it is not an \grammarterm{attribute-scoped-token} and