minor Dockerfile tweak