diff --git a/docs/weave/design/04-queries.md b/docs/weave/design/04-queries.md
index e58eadef..7a91c3c5 100644
--- a/docs/weave/design/04-queries.md
+++ b/docs/weave/design/04-queries.md
@@ -93,4 +93,4 @@ These then can be registered with a `Router` that also implements QueryHandler,
 
 ## Merkle Proofs
 
-**Proofs are not yet implemented as of weave v0.20** This is both due to prioritization of other features, and also as we wish to provide a solid proof format that is useful for IBC as well, and watching cosmos-sdk development so we can maintain compatibility. As this format is recently stabilized inside the cosmos hub, implementation in weave should not be too far off.
+**Proofs are not yet implemented.** This is both due to prioritization of other features, and also as we wish to provide a solid proof format that is useful for IBC as well, and watching cosmos-sdk development so we can maintain compatibility. As this format is recently stabilized inside the cosmos hub, implementation in weave should not be too far off. If want you can follow up the issue on [github](https://github.com/iov-one/weave/issues/5 "Define proofs for query #5")