Fix an error with the header