diff --git a/CHANGELOG.md b/CHANGELOG.md
index 8c57ab4ef9fccc7fee28559627ab21c39a5c7c31..a3db0780c28858c0e12069ca3e79be90733b6fdb 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -54,9 +54,10 @@ Noteworthy additions and changes:
   + Rename `lookup_seq_inv` → `lookup_seq` and generalize it to a bi-implication
   + Add `NoDup_seqZ` and `Forall_seqZ`
 
-The following `sed` script should perform most of the renaming:
+The following `sed` script should perform most of the renaming
+(on macOS, replace `sed` by `gsed`, installed via e.g. `brew install gnu-sed`):
 ```
-sed -i~ '
+sed '
 s/\bdom_map_filter\b/dom_map_filter_subseteq/g
 s/\bfmap_seq\b/fmap_S_seq/g
 s/\bseqZ_fmap\b/fmap_add_seqZ/g