Some editing for file headers.