Fixed up file header and section headings