diff --git a/source/utilities.tex b/source/utilities.tex
index e076cf815e..5eb5d527f9 100644
--- a/source/utilities.tex
+++ b/source/utilities.tex
@@ -450,7 +450,8 @@
 \remarks If this function is odr-used~(\ref{basic.def.odr}), the program is ill-formed.
 
 \pnum
-\remarks The template parameter \tcode{T} of \tcode{declval} may be an incomplete type.
+\remarks In an instantiation of \tcode{declval}, an incomplete type may be
+used as the template argument for the template parameter \tcode{T}.
 
 \enterexample
 \begin{codeblock}
@@ -6122,7 +6123,8 @@
 of a unique pointer. In partial satisfaction of these semantics, each such \tcode{U}
 is \tcode{MoveConstructible} and \tcode{MoveAssignable}, but is not
 \tcode{CopyConstructible} nor \tcode{CopyAssignable}.
-The template parameter \tcode{T} of \tcode{unique_ptr} may be an incomplete type.
+In an instantiation of \tcode{unique_ptr}, an incomplete type may be
+used as the template argument for the template parameter \tcode{T}.
 
 \pnum
 \enternote The uses
@@ -6195,8 +6197,8 @@
 for the class template \tcode{unique_ptr}.
 
 \pnum
-The template parameter \tcode{T} of \tcode{default_delete} may be
-an incomplete type.
+In an instantiation of \tcode{default_delete}, an incomplete type may be
+used as the template argument for the template parameter \tcode{T}.
 
 \rSec4[unique.ptr.dltr.dflt]{\tcode{default_delete}}
 
@@ -7415,8 +7417,9 @@
 \tcode{CopyAssignable}, and \tcode{LessThanComparable}, allowing their use in standard
 containers. Specializations of \tcode{shared_ptr} shall be
 contextually convertible to \tcode{bool},
-allowing their use in boolean expressions and declarations in conditions. The template
-parameter \tcode{T} of \tcode{shared_ptr} may be an incomplete type.
+allowing their use in boolean expressions and declarations in conditions.
+In an instantiation of \tcode{shared_ptr}, an incomplete type may be
+used as the template argument for the template parameter \tcode{T}.
 
 \pnum
 \enterexample
@@ -8206,8 +8209,9 @@
 \pnum
 Specializations of \tcode{weak_ptr} shall be \tcode{CopyConstructible} and
 \tcode{CopyAssignable}, allowing their use in standard
-containers.  The template parameter \tcode{T} of \tcode{weak_ptr} may be an
-incomplete type.
+containers.
+In an instantiation of \tcode{weak_ptr}, an incomplete type may be
+used as the template argument for the template parameter \tcode{T}.
 
 \rSec4[util.smartptr.weak.const]{\tcode{weak_ptr} constructors}
 
@@ -8482,8 +8486,8 @@
 \end{codeblock}
 
 \pnum
-The template parameter \tcode{T} of \tcode{enable_shared_from_this}
-may be an incomplete type.
+In an instantiation of \tcode{enable_shared_from_this}, an incomplete type
+may be used as the template argument for the template parameter \tcode{T}.
 
 \indexlibrary{\idxcode{enable_shared_from_this}!constructor}%
 \begin{itemdecl}