Small change to Dockerfile