diff --git a/source/lib-intro.tex b/source/lib-intro.tex
index 07501c7096..dd35fa9a28 100644
--- a/source/lib-intro.tex
+++ b/source/lib-intro.tex
@@ -2324,7 +2324,7 @@
 but array elements are not constructed.
 \begin{example}
 When reusing storage denoted by some pointer value \tcode{p},
-\tcode{launder(reinterpret_cast<T*>(new (p) byte[n * sizeof(T)]))}
+\tcode{start_lifetime_as_array<T>(new (p) byte[n * sizeof(T)], n)}
 can be used to implicitly create a suitable array object
 and obtain a pointer to it.
 \end{example}