diff --git a/source/support.tex b/source/support.tex
index a7fdcbd7ae..414d38ee1c 100644
--- a/source/support.tex
+++ b/source/support.tex
@@ -6233,7 +6233,7 @@
 \libheader{stdbit.h} \\
 \libheader{stdbool.h} \\
 \columnbreak
-\libheader{stdckdint.h} \\
+\libheaderdef{stdckdint.h} \\
 \libheaderdef{stddef.h} \\
 \libheaderdef{stdint.h} \\
 \libheaderdef{stdio.h} \\
@@ -6301,7 +6301,7 @@
 \indexheader{stdbool.h}%
 \indexhdr{stdbool.h}%
 \pnum
-The contents of the \Cpp{} header \libheader{stdbool.h} are the same as the C
+The contents of the \Cpp{} header \libheaderdef{stdbool.h} are the same as the C
 standard library header \libheader{stdbool.h}, with the following changes:
 The header \libheader{stdbool.h} does not
 define macros named \tcode{bool}, \tcode{true}, or \tcode{false}.
diff --git a/source/utilities.tex b/source/utilities.tex
index ad5fe79cd4..26cf681fcb 100644
--- a/source/utilities.tex
+++ b/source/utilities.tex
@@ -15604,7 +15604,7 @@
 
 \pnum
 Otherwise,
-the contents and meaning of the header \libheader{stdbit.h} are the same as
+the contents and meaning of the header \libheaderdef{stdbit.h} are the same as
 the C standard library header \tcode{<stdbit.h>}.
 
 \xref{\IsoCUndated{}:2024, 7.18}   %% TODO: change to \xrefc{7.18}