minor tweak to header