Merge "Fix syntax error in docker push script."