minor changes to header stuff