Small changes to docker stuff.