Fixes to the header.