- Minor fix to docker script.