slight Dockerfile update