diff --git a/source/declarations.tex b/source/declarations.tex
index b3122d3db8..7ebfa35cac 100644
--- a/source/declarations.tex
+++ b/source/declarations.tex
@@ -1779,8 +1779,13 @@
 \opt{\grammarterm{type-constraint}} \keyword{auto}.
 The placeholder type shall appear
 as one of the \grammarterm{decl-specifier}{s} in
-the \grammarterm{decl-specifier-seq} or
-as one of the \grammarterm{type-specifier}{s} in
+the \grammarterm{decl-specifier-seq}
+directly related to the parameter
+\begin{note}
+  not to a nested parameter in case of
+  function pointer or reference type
+\end{note}
+or as one of the \grammarterm{type-specifier}{s} in
 a \grammarterm{trailing-return-type}
 that specifies the type that replaces such
 a \grammarterm{decl-specifier} (see below);
@@ -1817,6 +1822,11 @@
 in an initializing declaration\iref{dcl.init} of a variable.
 The placeholder type shall appear as one of the
 \grammarterm{decl-specifier}{s} in the \grammarterm{decl-specifier-seq}
+directly related to the variable
+\begin{note}
+  not to a nested parameter in case of
+  function pointer or reference type
+\end{note}
 or as one of the
 \grammarterm{type-specifier}{s} in a \grammarterm{trailing-return-type}
 that specifies the type that replaces such a \grammarterm{decl-specifier};