minor fixes to header