fixed a file header