Docker: minor changes