diff --git a/README.md b/README.md
index a1afb73..12218a3 100644
--- a/README.md
+++ b/README.md
@@ -1,10 +1,10 @@
-# tla-plus in TiDB
+# TLA+ in TiDB
 
-## About tla-plus
+## About TLA+
 
 TLA+ is a formal specification and verification language to help engineers design, specify, reason about, and verify complex software and hardware systems. It is widely used to verify the algorithms in distributed systems.
 
-## Using tla-plus in TiDB
+## Using TLA+ in TiDB
 
 In [TiDB](https://github.com/pingcap/tidb), we use TLA+ for the following purposes: