Minor tweaks to header.