diff --git a/CHANGELOG.md b/CHANGELOG.md
index 49e42322f47b15adb6f8e7c4cddaa15c39b760e5..2065db2ac1703985d963189b21be8fabf10a6685 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -138,7 +138,8 @@ API-breaking change is listed.
 - Make `map_empty` a biimplication.
 - Clean up `empty{',_inv,_iff}` lemmas:
   + Write them all using `↔` and consistently use the `_iff` suffix.
-  + Remove `map_to_list_empty_inv_alt`.
+  + Remove `map_to_list_empty_inv_alt`, chain `Permutation_nil_r` and
+    `map_to_list_empty_iff` instead.
   + Add lemma `map_filter_empty_iff`.
 
 The following `sed` script should perform most of the renaming