minor tweaks to header