Small changes to the header.