Changes to file format

Nothing else to add