diff --git a/CHANGELOG.md b/CHANGELOG.md
index a8c93827bca1..5e820aada0dc 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -9,7 +9,7 @@ This file was introduced starting Kani 0.23.0, so it only contains changes from
 ## What's Changed
 
 * Do not assume that ZST-typed symbols refer to unique objects by @tautschnig in https://github.com/model-checking/kani/pull/3134
-* Remove kani::Arbitrary from the modifies contract instrumentation by @feliperodri in https://github.com/model-checking/kani/pull/3169
+* Remove `kani::Arbitrary` from the `modifies` contract instrumentation by @feliperodri in https://github.com/model-checking/kani/pull/3169
 * Emit source locations whenever possible to ease debugging and coverage reporting by @tautschnig in https://github.com/model-checking/kani/pull/3173
 * Fix cargo audit error by @jaisnan in https://github.com/model-checking/kani/pull/3160
 * Rust toolchain upgraded to `nightly-2024-04-21` by @celinval