beefing up the file format specification