diff --git a/docs/src/apalache/installation/docker.md b/docs/src/apalache/installation/docker.md
index 0caf959121..4730fbf3eb 100644
--- a/docs/src/apalache/installation/docker.md
+++ b/docs/src/apalache/installation/docker.md
@@ -81,11 +81,11 @@ substantial number of improvements in the trunk branch before the next stable
 release. Please refer to the [change
 log](https://github.com/informalsystems/apalache/blob/trunk/CHANGES.md) and
 [manual](https://github.com/informalsystems/apalache/blob/trunk/docs/src/apalache/index.md)
-on the trunk branch for the description of the newest features. **We
-recommend using the trunk version if you want to try all the exciting new
-features of Apalache. But be warned: It is called "trunk" for a reason**. To
-use `trunk`, just type `ghcr.io/informalsystems/apalache:trunk` instead of `ghcr.io/informalsystems/apalache`
-everywhere.
+on the trunk branch for the description of the newest features. **We recommend
+using the trunk version if you want to try all the exciting new features of
+Apalache. But be warned: it is not as stable as using a versioned release**. To
+use `trunk`, just type `ghcr.io/informalsystems/apalache:trunk` instead of
+`ghcr.io/informalsystems/apalache` everywhere.
 
 Do not forget to pull the docker image from time to time: