Fix faulty header.