diff --git a/CHANGELOG.md b/CHANGELOG.md
index f68eecaa99c2..7ff806db9de2 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -8,7 +8,7 @@ This file was introduced starting Kani 0.23.0, so it only contains changes from
 
 ### Major Changes
 
-* Deprecate any_slice by @zhassan-aws in https://github.com/model-checking/kani/pull/2789
+* Deprecate `any_slice` by @zhassan-aws in https://github.com/model-checking/kani/pull/2789
 
 ### What's Changed