diff --git a/CHANGES.md b/CHANGES.md
index af9304922..a30bc03a4 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,6 +1,7 @@
 ## unreleased
 
-- adds a `Mem` argument to external function to allow direct manipulation of the memory.
+- parameterize the `Thread` module on the symbolic memory and the `Choice_monad` module on a Thread
+- adds a `Mem` argument to external function to allow direct manipulation of the memory
 - support other solvers through the `--solver` option (Z3, Colibri2, Bitwuzla and CVC5)
 - support the extended constant expressions proposal
 - `owi opt` and `owi sym` can run on `.wasm` files directly