sanitize-header-list: minor bug fix