fix the comments in the headers