Fix bug in remove-all-docker-containers.sh.