minor style tweak with the header