Fix minor bug for 'run docker'