minor changes to the headers