small fixes to header