diff --git a/x/crisis/spec/01_state.md b/x/crisis/spec/01_state.md
index cbb949b0e327..581c79dc0e6d 100644
--- a/x/crisis/spec/01_state.md
+++ b/x/crisis/spec/01_state.md
@@ -14,5 +14,5 @@ with the standard gas consumption method.
 
 The ConstantFee param is held in the global params store. 
 
- - Params: `mint/params -> amino(sdk.Coin)`
+ - Params: `mint/params -> legacy_amino(sdk.Coin)`
 
diff --git a/x/crisis/spec/02_messages.md b/x/crisis/spec/02_messages.md
index 93a01aec2677..5dce6274091d 100644
--- a/x/crisis/spec/02_messages.md
+++ b/x/crisis/spec/02_messages.md
@@ -11,12 +11,7 @@ corresponding updates to the state.
 
 Blockchain invariants can be checked using the `MsgVerifyInvariant` message. 
 
-```go
-type MsgVerifyInvariant struct {
-	Sender         sdk.AccAddress 
-	InvariantRoute string
-}
-```
++++ https://github.com/cosmos/cosmos-sdk/blob/v0.40.0/proto/cosmos/crisis/v1beta1/tx.proto#L14-L22
 
 This message is expected to fail if: 
  - the sender does not have enough coins for the constant fee
diff --git a/x/crisis/spec/03_events.md b/x/crisis/spec/03_events.md
index 5aef2078ebf9..90070e48286d 100644
--- a/x/crisis/spec/03_events.md
+++ b/x/crisis/spec/03_events.md
@@ -6,9 +6,9 @@ order: 3
 
 The crisis module emits the following events:
 
-## Handlers
+## MsgServer
 
-### MsgVerifyInvariance
+### MsgVerifyInvariant
 
 | Type      | Attribute Key | Attribute Value  |
 |-----------|---------------|------------------|