diff --git a/docs/spec/abci/abci.md b/docs/spec/abci/abci.md
index 17d0a1efa..0637ab306 100644
--- a/docs/spec/abci/abci.md
+++ b/docs/spec/abci/abci.md
@@ -1,4 +1,4 @@
-# ABCI Methods and Types
+# Methods and Types
 
 ## Overview
 
diff --git a/docs/spec/abci/apps.md b/docs/spec/abci/apps.md
index 84cd34311..1bc36a49e 100644
--- a/docs/spec/abci/apps.md
+++ b/docs/spec/abci/apps.md
@@ -1,4 +1,4 @@
-# ABCI Applications
+# Applications
 
 Please ensure you've first read the spec for [ABCI Methods and Types](abci.md)
 
@@ -73,8 +73,9 @@ block full of invalid transactions if it wants.
 
 ### Info Connection
 
-The Mempool Connection should maintain a `QueryState` for answering queries from the user,
-and for initialization when Tendermint first starts up.
+The Info Connection should maintain a `QueryState` for answering queries from the user,
+and for initialization when Tendermint first starts up (both described further
+below).
 It should always contain the latest committed state associated with the
 latest commited block.
 
@@ -97,7 +98,7 @@ though see issues
 [#2310](https://github.com/tendermint/tendermint/issues/2310) for how this may
 change.
 
-## CheckTx
+### CheckTx
 
 If `Code != 0`, it will be rejected from the mempool and hence
 not broadcasted to other peers and not included in a proposal block.
@@ -108,7 +109,7 @@ semantically meaningless to Tendermint.
 `Tags` include any tags for the execution, though since the transaction has not
 been committed yet, they are effectively ignored by Tendermint.
 
-## DeliverTx
+### DeliverTx
 
 If DeliverTx returns `Code != 0`, the transaction will be considered invalid,
 though it is still included in the block.
diff --git a/docs/spec/abci/client-server.md b/docs/spec/abci/client-server.md
index 1923b5e08..36b6faf3b 100644
--- a/docs/spec/abci/client-server.md
+++ b/docs/spec/abci/client-server.md
@@ -1,4 +1,4 @@
-# ABCI Client and Server
+# Client and Server
 
 This section is for those looking to implement their own ABCI Server, perhaps in
 a new programming language.