Fix crash in header_correct()