Small changes to Docker