diff --git a/CHANGELOG.md b/CHANGELOG.md
index 01cd77086043f0b6ec9ae9b8f59a20ec14722f6f..72a8c9eab5f6441b8bf55c5fb69b1183725c498c 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -9,6 +9,8 @@ lemma.
 
 * Remove the `*` specialization pattern. This pattern has been deprecated and a
   no-op since 2017. See https://gitlab.mpi-sws.org/iris/iris/-/merge_requests/41.
+* Improve the error message of `iInv` in case the goal does not support
+  invariant opening.
 
 **Changes in `base_logic`:**