diff --git a/CHANGELOG.md b/CHANGELOG.md
index fcadc84c4ed5bc856b31a44a649c8273db0b7037..dd8a52bdadc565740f0cbd3c26bb8ecc6c2a6bc2 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -26,7 +26,7 @@ The highlights and most notable changes of this release are:
 * Weakest preconditions now support a flexible number of laters per
   physical step of the operational semantics. See merge request
   [!585](https://gitlab.mpi-sws.org/iris/iris/-/merge_requests/595) (by
-  Jacques-Henri Jourdan).
+  Jacques-Henri Jourdan and Yusuke Matsushita).
 * HeapLang now has an atomic `Xchg` (exchange) operation (by Simon Hudon,
   Google).