* fix a bug when readStateFile is called with no OpProgress object