Tweaks in file header