diff --git a/CHANGELOG.md b/CHANGELOG.md
index 617715a452fb807c54182a151bcdc79bfcd048f3..b55e59c9f5ef0f1218fc59461b65fdc129cb7d71 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -105,8 +105,7 @@ Coq development, but not every API-breaking change is listed.  Changes marked
   requires implementing `string_to_ident`. Without this tactic such patterns
   will fail. We provide one implementation at
   https://gitlab.mpi-sws.org/iris/string-ident using Ltac2 which works with Coq
-  8.11. See the [README](https://gitlab.mpi-sws.org/iris/string-ident) for opam
-  installation instructions.
+  8.11 and can be installed with opam (see the README for details).
 
 **Changes in heap_lang:**