- split into two functions: header_in_set and header_in_unset, correcting some bugs