Minor fix in new file format notes.