Apply suggestions from code review

Co-authored-by: Aleksandr Bezobchuk <alexanderbez@users.noreply.github.com>
cosmos · Sep 22, 2021 · 1781fb5 · 1781fb5
1 parent 4ee227e
commit 1781fb5
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/docs/architecture/adr-040-storage-and-smt-state-commitments.md b/docs/architecture/adr-040-storage-and-smt-state-commitments.md
@@ -149,7 +149,8 @@ In contrast to `MultiStore`, `RootStore` doesn't allow to mount dynamically sub
 
 #### Merkle Proofs and IBC
 
-Currently IBC (v1.0) module merkle proof for a `(key, value)` consists of two elements `[storeKey, proof]`. Verification using 2 passes:
+Currently the IBC (v1.0) module merkle proofs for a `(key, value)` consists of two elements `[storeKey, proof]`. Verification is done using 2 passes:
+
 1. Checks that a `proof` is a valid merkle proof `(key, value)` using ICS-23 spec.
 2. Then it checks that the `storeKey` and `root(proof)` hashes to the AppHash (App state commitment).