Fix filetype.
Add header.