Minor updates in the file format spec.