diff --git a/docs/manual.md b/docs/manual.md
index 89c7b757be..6c8c6fd321 100644
--- a/docs/manual.md
+++ b/docs/manual.md
@@ -64,6 +64,12 @@ where Apalache is cloned.
 
 **Starting with release 0.6.0, we will publish Docker images for every release**.
 
+To get the latest Apalache image, issue the command:
+
+```
+docker pull apalache/mc
+```
+
 **Running the image**. To run an Apalache image, issue the command:
 
 ```
@@ -87,13 +93,6 @@ The following docker parameters are used:
 - `<args>` are the tool arguments as described in
   [Running the tool](#running).
 
-To ensure that you are using the latest APALACHE docker image, you might want 
-from time to time run this command:
-
-```
-docker pull apalache/mc
-```
-
 **Building an image**. For an end user there is no need to build an Apalache
 image. If you like to produce a modified docker image,
 take into account that it will take about 30 minutes for the image