diff --git a/CHANGELOG.md b/CHANGELOG.md
index 64365e8ebb6625e83380d3a9eff03ef5bfb415c5..ce595d577fa1ba894d48f6d51fb21c1399159f95 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -17,6 +17,7 @@ API-breaking change is listed.
     (previously, its definition was wrong, since it used `∪` instead of `⊎`).
   + Add lemmas for `∈` and `∉` specific for multisets, since the set lemmas no
     longer work for multisets.
+- Make `Qc_of_Z'` not an implicit coercion (from `Z` to `Qc`) any more.
 
 ## std++ 1.5.0