Update file-format-specification.md