diff --git a/CHANGELOG.md b/CHANGELOG.md
index fa7cf35744930074f2b59ce57d4409b66f6f973c..d4f13b19ebb7d9ae454cf8afcc0095a46754e3ed 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -43,7 +43,8 @@ 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 '
-s/\bQp_not_plus_q_ge_1\b/Qp_not_plus_ge/g
+s/\bQp_plus/Qp_add/g
+s/\bQp_mult/Qp_mul/g
 ' $(find theories -name "*.v")
 ```