Minor changes

It's the default for `docker build` but not for `docker run` (and they do different things, of course)