Minor edits: out_exec_filter.txt