Minor updates in the file format notes.