fixing reading of corrupted restart file...