diff --git a/CHANGELOG.md b/CHANGELOG.md
index 7aa00c58e5967e5f8d25214ebf8eaf9c8a941f25..2b8c78888d98bb7551e803735717c4dbe7b10d2c 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -61,6 +61,7 @@ With this release, we dropped support for Coq 8.9.
   `saved_prop_alloc_cofinite`, `saved_pred_alloc_strong`,
   `saved_pred_alloc_cofinite`, `auth_alloc_strong`, `auth_alloc_cofinite`,
   `auth_alloc`.
+* Change `uPred_mono` to only require inclusion at the smaller step-index.
 
 The following `sed` script helps adjust your code to the renaming (on macOS,
 replace `sed` by `gsed`, installed via e.g. `brew install gnu-sed`).