diff --git a/CHANGELOG.md b/CHANGELOG.md
index b05d3f0bf3110fe60057472b3bd318b6020089f9..ddbf57c520b64567aab2fa5c9e5eaeb179a2f3d9 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -100,7 +100,7 @@ Coq development, but not every API-breaking change is listed.  Changes marked
   and rename existing asymmetric lemmas (with a singleton on just the LHS):
   + `singleton_includedN` → `singleton_includedN_l`.
   + `singleton_included` → `singleton_included_l`.
-  + `singleton_included_exclusive_l` → `singleton_included_exclusive`
+  + `singleton_included_exclusive` → `singleton_included_exclusive_l`
 
 **Changes in heap_lang:**