Small fix to docker file.