Minor adjustments to Docker