Fixed a bug in the file format.