diff --git a/CHANGELOG.md b/CHANGELOG.md
index 027e79b70733a40dd633d2c7279715e2c5fdf1f5..da57df1ec72f3834a8c1d36f52da898ecef91741 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -39,6 +39,8 @@ Coq 8.11 is no longer supported.
   to `stdpp`.
 - Add an unstable `bitblast` tactic for solving equalities between integers
   involving bitwise operations. (by Michael Sammler)
+- Add the bind operation `set_bind` for finite sets. (by Dan Frumin and Paolo G.
+  Giarrusso)
 
 The following `sed` script should perform most of the renaming
 (on macOS, replace `sed` by `gsed`, installed via e.g. `brew install gnu-sed`).
@@ -50,8 +52,6 @@ s/\bmap_disjoint_subset\b/kmap_subset/g
 s/\blookup_union_l\b/lookup_union_l'/g
 EOF
 ```
-- Add the bind operation `set_bind` for finite sets. (by Dan Frumin and Paolo G.
-  Giarrusso)
 
 ## std++ 1.7.0 (2022-01-22)