Fix a typo in the file format documentation.