diff --git a/papers/LMCS.md b/papers/LMCS.md
index 3772e9bf6dcb1b5ee2ce2d1241a837f3f5e2d53f..d0a3a0fc63519e5def4df57a640a0a206fd06ef8 100644
--- a/papers/LMCS.md
+++ b/papers/LMCS.md
@@ -13,7 +13,7 @@ Subprotocols
   - Mapper: [theories/examples/swap_mapper.v](../theories/examples/swap_mapper.v)
   - List reversal: [theories/examples/list_rev.v](../theories/examples/list_rev.v)
   - Löb recursion: [theories/examples/subprotocols.v](../theories/examples/subprotocols.v)
-Mechanisation
+Mechanization
   - Program: [theories/examples/basics.v](../theories/examples/basics.v)
   - Subprotocol: [theories/examples/list_rev.v](../theories/examples/list_rev.v)