diff --git a/inc/hf/arch/cpu.h b/inc/hf/arch/cpu.h
index 24f00c0..aba76aa 100644
--- a/inc/hf/arch/cpu.h
+++ b/inc/hf/arch/cpu.h
@@ -20,6 +20,8 @@
 #include <stddef.h>
 #include <stdint.h>
 
+#include "hf/arch/types.h"
+
 #include "hf/addr.h"
 
 /**
diff --git a/src/arch/fake/inc/hf/arch/types.h b/src/arch/fake/inc/hf/arch/types.h
index d2cec75..7304ad3 100644
--- a/src/arch/fake/inc/hf/arch/types.h
+++ b/src/arch/fake/inc/hf/arch/types.h
@@ -31,7 +31,7 @@
 /** Integer type large enough to hold a virtual address. */
 typedef uintptr_t uintvaddr_t;
 
-/** The integer large corresponding to the native register size. */
+/** The integer corresponding to the native register size. */
 typedef uint64_t uintreg_t;
 
 /** Type to represent the register state of a VM.  */