cosmetic changes to header.