diff --git a/driver/linux b/driver/linux
index ce08e9e..89d0e47 160000
--- a/driver/linux
+++ b/driver/linux
@@ -1 +1 @@
-Subproject commit ce08e9ec0915563d60536c048708389e1345b5fe
+Subproject commit 89d0e473d2532bc82ca7e2c594492b1dae194c54
diff --git a/src/mm.c b/src/mm.c
index d31da51..830fb28 100644
--- a/src/mm.c
+++ b/src/mm.c
@@ -501,7 +501,7 @@
 }
 
 /**
- * Write the given table to the debug log.
+ * Writes the given table to the debug log.
  */
 void mm_ptable_dump(struct mm_ptable *t, int mode)
 {
@@ -515,9 +515,9 @@
 }
 
 /**
- * Given the table PTE entries are all have identical attributes, return the
- * single entry with which it can be replaced. Note that the table PTE will no
- * longer be valid after calling this function as the table may have been freed.
+ * Given the table PTE entries all have identical attributes, returns the single
+ * entry with which it can be replaced. Note that the table PTE will no longer
+ * be valid after calling this function as the table may have been freed.
  *
  * If the table is freed, the memory is freed directly rather than calling
  * `mm_free_page_pte()` as it is known to not have subtables.
@@ -557,7 +557,7 @@
 }
 
 /**
- * Defragment the given PTE by recursively replacing any tables with blocks or
+ * Defragments the given PTE by recursively replacing any tables with blocks or
  * absent entries where possible.
  */
 static pte_t mm_ptable_defrag_entry(pte_t entry, uint8_t level,