minor edit: out_exec.txt