Minor Docker-related changes