diff --git a/README.md b/README.md
index dd072c12ceb89f1795e399091e341c6ffa4a4612..0634f073b25b6d67b13022436c737945836601e3 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
-# RMRM (RustBelt Meets Relaxed Memory) COQ DEVELOPMENT
+# RBrlx (RustBelt Relaxed) COQ DEVELOPMENT
 
-This is the Coq development accompanying RMRM.
+This is the Coq development accompanying RBrlx.
 
 ## Prerequisites