Further details of file format