diff --git a/docs/tendermint-core/metrics.md b/docs/tendermint-core/metrics.md
index 67eb13e0d..d6c2bd82d 100644
--- a/docs/tendermint-core/metrics.md
+++ b/docs/tendermint-core/metrics.md
@@ -9,7 +9,7 @@ be consumed by Prometheus collector(s).
 
 This functionality is disabled by default.
 
-To enable the Prometheus metrics, set `instrumentation.prometheus=true` if your
+To enable the Prometheus metrics, set `instrumentation.prometheus=true` in your
 config file. Metrics will be served under `/metrics` on 26660 port by default.
 Listen address can be changed in the config file (see
 `instrumentation.prometheus\_listen\_addr`).