documentation of file format extended