Updated file format specification.