Fix a small bug affecting the save file