diff --git a/source/basic.tex b/source/basic.tex
index 22bce76c0c..2effa20058 100644
--- a/source/basic.tex
+++ b/source/basic.tex
@@ -5521,7 +5521,7 @@
 \indextext{\idxcode{char8_t}|see{type, \tcode{char8_t}}}%
 \indextext{type!\idxcode{char8_t}}%
 \indextext{type!underlying!\idxcode{char8_t}}%
-Type \keyword{char8_t} denotes a distinct type
+Type \keyword{char8_t} is a distinct type
 whose underlying type is \tcode{\keyword{unsigned} \keyword{char}}.
 \indextext{\idxcode{char16_t}|see{type, \tcode{char16_t}}}%
 \indextext{\idxcode{char32_t}|see{type, \tcode{char32_t}}}%
@@ -5529,7 +5529,7 @@
 \indextext{type!\idxcode{char32_t}}%
 \indextext{type!underlying!\idxcode{char16_t}}%
 \indextext{type!underlying!\idxcode{char32_t}}%
-Types \keyword{char16_t} and \keyword{char32_t} denote distinct types
+Types \keyword{char16_t} and \keyword{char32_t} are distinct types
 whose underlying types are \tcode{std::uint_least16_t} and \tcode{std::uint_least32_t},
 respectively, in \libheaderref{cstdint}.
 
@@ -5656,13 +5656,14 @@
 \end{note}
 
 \pnum
-The types denoted by \cv~\tcode{std::nullptr_t} are distinct types.
+Type \tcode{std::nullptr_t} is a distinct type.
 A prvalue of type \tcode{std::nullptr_t} is a null pointer
 constant\iref{conv.ptr}. Such values participate in the pointer and the
 pointer-to-member conversions\iref{conv.ptr,conv.mem}.
 \tcode{\keyword{sizeof}(std::nullptr_t)} shall be equal to \tcode{\keyword{sizeof}(\keyword{void}*)}.
 
 \pnum
+Type \tcode{std::meta::info} is a distinct type.
 A value of type \tcode{std::meta::info} is called a \defn{reflection}.
 There exists a unique \defnadj{null}{reflection};
 every other reflection is a representation of