Update file format specification with actual implemenation