BUG:  incorrect reading of file format.