diff --git a/README.md b/README.md
index cf222c840c8ff290888c967496ea0548a711a9de..8d4fe84b08df97edb9703fde5d601137d69a2aa8 100644
--- a/README.md
+++ b/README.md
@@ -103,7 +103,7 @@ The filenames are spread across `theories/typing/examples`, `theories/typing`, `
 | `inc_cell`          | `inc_cell.v`      | `inc_cell_type`          |
 | **`Mutex`**         |                   |                          |
 | `new`               | `mutex.v`         | `mutex_new_type`         |
-| `get_mut`           | `mutex.v`         | `mutex_get_uniq`          |
+| `get_mut`           | `mutex.v`         | `mutex_get_uniq`         |
 
 ### Key Type(-Spec) Rules --- from the RustBelt Paper