diff --git a/source/basic.tex b/source/basic.tex
index 733d6699d0..a2212e68df 100644
--- a/source/basic.tex
+++ b/source/basic.tex
@@ -3547,6 +3547,7 @@
 \indextext{object model|)}
 
 \rSec2[basic.align]{Alignment}
+\indextext{suitably aligned}%
 
 \pnum
 Object types have \defnx{alignment requirements}{alignment requirement!implementation-defined}\iref{basic.fundamental,basic.compound}
diff --git a/source/memory.tex b/source/memory.tex
index dfa3087c95..e50ca36f2d 100644
--- a/source/memory.tex
+++ b/source/memory.tex
@@ -948,7 +948,7 @@
 that is
 a subset of the region of storage
 reachable through\iref{basic.compound} \tcode{p} and
-suitably aligned for the type \tcode{T}.
+suitably aligned\iref{basic.align} for the type \tcode{T}.
 
 \pnum
 \effects
@@ -995,7 +995,7 @@
 
 \pnum
 \expects
-\tcode{p} is suitably aligned for an array of \tcode{T} or is null.
+\tcode{p} is suitably aligned\iref{basic.align} for an array of \tcode{T} or is null.
 \tcode{n <= size_t(-1) / sizeof(T)} is \tcode{true}.
 If \tcode{n > 0} is \tcode{true},
 \range{(char*)p}{(char*)p + (n * sizeof(T))} denotes
@@ -1039,7 +1039,7 @@
 \item
   \range{result}{result + (last - first)} denotes a region of storage that
   is a subset of the region reachable through \tcode{result}\iref{basic.compound}
-  and suitably aligned for the type \tcode{T}.
+  and suitably aligned\iref{basic.align} for the type \tcode{T}.
 \item
   No element in the range \range{first}{last} is a potentially-overlapping subobject.
 \end{itemize}
@@ -1101,7 +1101,7 @@
 \item
   \range{result}{result + (last - first)} denotes a region of storage that is
   a subset of the region reachable through \tcode{result}\iref{basic.compound}
-  and suitably aligned for the type \tcode{T}.
+  and suitably aligned\iref{basic.align} for the type \tcode{T}.
 \item
   No element in the range \range{first}{last} is a potentially-overlapping
   subobject.
diff --git a/source/support.tex b/source/support.tex
index 7d53612aad..517059ddad 100644
--- a/source/support.tex
+++ b/source/support.tex
@@ -2452,7 +2452,8 @@
 
 \pnum
 \required
-Return a non-null pointer to suitably aligned storage\iref{basic.stc.dynamic},
+Return a non-null pointer to storage
+aligned as described in \ref{basic.stc.dynamic.allocation},
 or else throw a
 \tcode{bad_alloc}
 \indexlibraryglobal{bad_alloc}%
@@ -2510,7 +2511,8 @@
 
 \pnum
 \required
-Return a non-null pointer to suitably aligned storage\iref{basic.stc.dynamic},
+Return a non-null pointer to storage
+aligned as described in \ref{basic.stc.dynamic.allocation},
 or else return a null pointer.
 Each of these nothrow versions of
 \tcode{operator new}
@@ -2762,7 +2764,8 @@
 
 \pnum
 \required
-Return a non-null pointer to suitably aligned storage\iref{basic.stc.dynamic},
+Return a non-null pointer to storage
+aligned as described in \ref{basic.stc.dynamic.allocation},
 or else return a null pointer.
 Each of these nothrow versions of
 \tcode{operator new[]}