diff --git a/manual/parts/bootup.tex b/manual/parts/bootup.tex
index 853f53244..697108be0 100644
--- a/manual/parts/bootup.tex
+++ b/manual/parts/bootup.tex
@@ -54,7 +54,7 @@ The first 12 slots contain specific capabilities as listed in
 \\
       0x9 & \texttt{seL4\_CapBootInfoFrame}       & BootInfo frame (see \autoref{ch:bootup:bootinfo}) \\
       0xa & \texttt{seL4\_CapInitThreadIPCBuffer} & initial thread's IPC buffer (see \autoref{sec:messageinfo}) \\
-      0xb & \texttt{seL4\_CapDom}                 & domain cap (see \autoref{sec:domains}) \\
+      0xb & \texttt{seL4\_CapDomain}              & domain cap (see \autoref{sec:domains}) \\
       \bottomrule
     \end{tabularx}
   \end{center}