Add proper file header.