get rid of out-of-date header comments