diff --git a/docker/Dockerfile b/docker/Dockerfile
index e6d113da5..7d77086d9 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -14,7 +14,7 @@ WORKDIR kind2-build
 
 # Note: we use remote OPAM repo until local one is updated
 RUN eval $(opam env) && \
-    opam repo set-url default https://opam.ocaml.org && opam update \
+    opam repo set-url default https://opam.ocaml.org && opam update && \
     opam pin -y add dolmen https://github.com/ModelChecker/dolmen.git#mcil && \
     opam pin -y add dolmen_type https://github.com/ModelChecker/dolmen.git#mcil && \
     opam pin -y add dolmen_loop https://github.com/ModelChecker/dolmen.git#mcil && \