diff --git a/CHANGELOG.md b/CHANGELOG.md
index 53817951627f00c7f233ea5ddc0986c4cfdd6ab7..37d4498bbc6a15424994085fa4c321ee00a66b28 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -110,7 +110,7 @@ and Yiyun Liu. Thanks a lot to everyone involved!
 - Add `gmultiset_map` and associated lemmas. (by Marijn van Wezel)
 - Add `CProd` type class for Cartesian products; with instances for `list`,
   `gset`, `boolset`, `MonadSet` (i.e., `propset`, `listset`); and `set_solver`
-	tactic support. (by Thibaut Pérami)
+  tactic support. (by Thibaut Pérami)
 
 The following `sed` script should perform most of the renaming
 (on macOS, replace `sed` by `gsed`, installed via e.g. `brew install gnu-sed`).