a little modification of file format