diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md
index 6833c92cb..9f7bf6a4f 100644
--- a/CHANGELOG_UNRELEASED.md
+++ b/CHANGELOG_UNRELEASED.md
@@ -41,7 +41,7 @@
 
 - in `constructive_ereal.v`:
   + lemmas `lteD2rE`, `leeD2rE`
-  + lemmas `lte_dD2rE`, `lee_dD2lE`
+  + lemmas `lte_dD2rE`, `lee_dD2rE`
 
 ### Changed