fix remark w.r.t. det_patched_files