diff --git a/CHANGELOG.md b/CHANGELOG.md
index dd8a52bdadc565740f0cbd3c26bb8ecc6c2a6bc2..8e9c18275fcd9d665b14b10820b9ae515a72abbf 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -32,10 +32,9 @@ The highlights and most notable changes of this release are:
 
 This release was managed by Ralf Jung, Robbert Krebbers, and Tej Chajed, with
 contributions from Amin Timany, Armaël Guéneau, Dan Frumin, Dmitry Khalanskiy,
-Hai Dang, Hoang-Hai Dang, Jacques-Henri Jourdan, Lennard Gäher, Michael
-Sammler, Paolo G. Giarrusso, Ralf Jung, Robbert Krebbers, Simon Friis Vindum,
-Simon Hudon, Tej Chajed, and Yusuke Matsushita. Thanks a lot to everyone
-involved!
+Hoang-Hai Dang, Jacques-Henri Jourdan, Lennard Gäher, Michael Sammler, Paolo G.
+Giarrusso, Ralf Jung, Robbert Krebbers, Simon Friis Vindum, Simon Hudon, Tej
+Chajed, and Yusuke Matsushita. Thanks a lot to everyone involved!
 
 **Changes in `algebra`:**