diff --git a/CHANGELOG.md b/CHANGELOG.md
index 0dbe9daefc2eec3db16fd98aebd88952b54cf258..507e97d6492b25bd0b367f47d3d2a38e376af3ef 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -143,7 +143,8 @@ Changes in Coq:
 * Add the camera `ufrac` for unbounded fractions (i.e. without fractions that
   can be `> 1`) and the camera `ufrac_auth` for a variant of the authoritative
   fractional camera (`frac_auth`) with unbounded fractions.
-* Changed `frac_auth` notation from `â—!`/`â—¯!` to `â—F`/`â—¯F`.
+* Changed `frac_auth` notation from `â—!`/`â—¯!` to `â—F`/`â—¯F`. sed script:
+  `s/â—¯!/â—¯F/g; s/â—!/â—F/g;`.
 
 ## Iris 3.1.0 (released 2017-12-19)