Minor updates to the header.