Simplify check_header_result() a bit.