Minor header changes.