diff --git a/CHANGELOG.md b/CHANGELOG.md
index 87f5d393422d26194e2b008fce631a95c4bbdfc1..3dded487ae5a04cd656bb4ef53bff03af74792db 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -196,7 +196,7 @@ Changes:
 - Make `gset` a `Definition` instead of a `Notation` to improve performance.
 - Use `disj_union` (notation `⊎`) for disjoint union on multisets (that adds the
   multiplicities). Repurpose `∪` on multisets for the actual union (that takes
-  the max of the multiplicities). 
+  the max of the multiplicities).
 
 Naming: