diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md
index 37aef5fa3a..9375969242 100644
--- a/CHANGELOG_UNRELEASED.md
+++ b/CHANGELOG_UNRELEASED.md
@@ -47,8 +47,6 @@
     `le_normr_integral`, `Rintegral_setU_EFin`, `Rintegral_set0`, `Rintegral_itv_bndo_bndc`,
     `Rintegral_itv_obnd_cbnd`, `Rintegral_set1`, `Rintegral_itvB`
 
-### Changed
-
 - in `classical_sets.v`:
   + lemmas `setC_I`, `bigcup_subset`