Add a proper file header.