diff --git a/source/classes.tex b/source/classes.tex
index c9da349462..aaf78ef1be 100644
--- a/source/classes.tex
+++ b/source/classes.tex
@@ -1208,7 +1208,6 @@
 
 \pnum
 \indextext{constructor!inheritance of}%
-\indextext{constructor!non-trivial}%
 A \defnadj{default}{constructor} for a class \tcode{X}
 is a constructor of class \tcode{X}
 for which each parameter
@@ -2043,7 +2042,9 @@
 \end{itemize}
 
 \pnum
-A destructor is trivial if it is not user-provided and if:
+A destructor is
+\defnx{trivial}{destructor!trivial}
+if it is not user-provided and if:
 \begin{itemize}
 \item the destructor is not virtual,
 
diff --git a/source/meta.tex b/source/meta.tex
index 17cbbf91dd..438f2e3b03 100644
--- a/source/meta.tex
+++ b/source/meta.tex
@@ -787,7 +787,7 @@
 \pnum
 For the purpose of defining the templates in this subclause,
 a function call expression \tcode{declval<T>()} for any type \tcode{T}
-is considered to be a trivial\iref{term.trivial.type,special} function call
+is considered to be a trivial\iref{special} function call
 that is not an odr-use\iref{term.odr.use} of \tcode{declval}
 in the context of the corresponding definition
 notwithstanding the restrictions of~\ref{declval}.
@@ -1047,7 +1047,7 @@
   \tcode{is_constructible_v<T,}\br
   \tcode{Args...>} is \tcode{true} and the variable
   definition for \tcode{is_constructible}, as defined below, is known to call
-  no operation that is not trivial\iref{term.trivial.type,special}. &
+  no operation that is not trivial\iref{special}. &
   \tcode{T} and all types in the template parameter pack \tcode{Args} shall be complete types,
   \cv{}~\keyword{void}, or arrays of unknown bound. \\ \rowsep
 
@@ -1082,7 +1082,7 @@
   \tcode{struct is_trivially_assignable;} &
   \tcode{is_assignable_v<T, U>} is \tcode{true} and the assignment, as defined by
   \tcode{is_assignable}, is known to call no operation that is not
-  trivial\iref{term.trivial.type,special}. &
+  trivial\iref{special}. &
   \tcode{T} and \tcode{U} shall be complete types, \cv{}~\keyword{void},
   or arrays of unknown bound. \\ \rowsep
 
@@ -1553,7 +1553,7 @@
 \pnum
 For the purpose of defining the templates in this subclause,
 a function call expression \tcode{declval<T>()} for any type \tcode{T}
-is considered to be a trivial\iref{term.trivial.type,special} function call
+is considered to be a trivial\iref{special} function call
 that is not an odr-use\iref{term.odr.use} of \tcode{declval}
 in the context of the corresponding definition
 notwithstanding the restrictions of~\ref{declval}.