diff --git a/inc/hf/mm.h b/inc/hf/mm.h
index aebe77d..f7c4d9d 100644
--- a/inc/hf/mm.h
+++ b/inc/hf/mm.h
@@ -86,7 +86,7 @@
 	paddr_t root;
 };
 
-/** Represents the curretly locked stage-1 page table of the hypervisor. */
+/** Represents the currently locked stage-1 page table of the hypervisor. */
 struct mm_stage1_locked {
 	struct mm_ptable *ptable;
 };
diff --git a/src/api.c b/src/api.c
index 3726107..9b39b98 100644
--- a/src/api.c
+++ b/src/api.c
@@ -36,7 +36,7 @@
  * acquisition of locks held concurrently by the same physical CPU. Our current
  * ordering requirements are as follows:
  *
- * vm::stage1_locked -> vcpu::stage1_locked -> mm_stage1_lock
+ * vm::lock -> vcpu::lock -> mm_stage1_lock
  *
  * Locks of the same kind require the stage1_locked of lowest address to be
  * locked first, see `sl_lock_both()`.