minor change in Dockerfile