diff --git a/docker/Dockerfile b/docker/Dockerfile
index 6078bc2f8..42c1671b1 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -104,7 +104,7 @@ ENV SCILLA_REPO_ROOT="${SOURCE_DIR}"
 
 RUN make opamdep-ci \
     && echo '. ~/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true ' >> ~/.bashrc \
-    && eval $(opam env)
+    && eval $(opam env) \
     && make
 
 ARG BUILD_DIR="${SOURCE_DIR}/_build/default"