diff --git a/docker/Dockerfile b/docker/Dockerfile
index 42c1671b1..8eb0a45db 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -125,3 +125,4 @@ ARG SOURCE_DIR="/scilla/${MAJOR_VERSION}"
 
 COPY --from=builder ${SOURCE_DIR}       ${SOURCE_DIR}
 
+