minor style tweaks in header