minor updates to header