minor changes to header