Fixed blunder in run_in_docker.sh