Small adjustments in the file headers