diff --git a/CHANGELOG.md b/CHANGELOG.md
index 26f3fdcb80f0fe1ca2e52274c881e6263dc4b08d..4029e711901fd5d6573e6a71a7d9fec21e2787fe 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -127,6 +127,7 @@ Changes in Coq:
   - Lemmas for the projections and injections are renamed accordingly.
   - `auth_both_valid` → `auth_both_valid_2`
   - `auth_valid_discrete_2` → `auth_both_valid`
+
 ## Iris 3.1.0 (released 2017-12-19)
 
 Changes in and extensions of the theory: