minor style tweak in header