minor tweaker to header