diff --git a/docker/README.md b/docker/README.md
index 47c98117300342ec79d5bde23dee8800434db739..3a89b321b1ba03422b1b1306548bd59f5a7b491c 100644
--- a/docker/README.md
+++ b/docker/README.md
@@ -9,7 +9,7 @@ LustreC.
 - an opam distribution with Frama-C and Z3 installed
 
 This can be used to test LustreC: clone the LustreC repository, pull
-the image and run the `run_docker.sh` script available in the
+the image and run the `run-docker.sh` script available in the
 `scripts` directory. LustreC and the associated WP strategies are
 built in the host clone of LustreC and you can run tests inside the
 container.
diff --git a/scripts/run-docker.sh b/scripts/run-docker.sh
old mode 100644
new mode 100755
index 7a92ec9045712f39064db91bb609d8adef02ec50..10e4623aeb264cab08730db03a943954b7345510
--- a/scripts/run-docker.sh
+++ b/scripts/run-docker.sh
@@ -14,7 +14,7 @@ usage () {
 }
 
 # default values
-CONTAINER_ID=gitlab-registry.isae-supaero.fr/lustrec/lustrec/lustrec-run:latest
+CONTAINER_ID=gitlab-registry.isae-supaero.fr/lustrec/lustrec/lustrec-run
 TMP_DIR=/tmp
 
 # check if docker is available