diff --git a/CHANGELOG.md b/CHANGELOG.md
index 8c93d365efdf9ffe1bd5116bfc72c69b3ddf06fc..019bda96a1435f90b31dd10e848b2649af7e6cfb 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -78,7 +78,7 @@ Coq 8.11 is no longer supported in this version of Iris.
 * Move `BiAffine`, `BiPositive`, `BiLöb`, and `BiPureForall` from
   `bi.derived_connectives` to `bi.extensions`.
 * Strengthen `persistent_fractional` to support propositions that are persistent
-  and either affine or absorbing (by Paolo G. Giarrusso, BedRock Systems).
+  and either affine or absorbing. (by Paolo G. Giarrusso, BedRock Systems)
 
 **Changes in `base_logic`:**