Fixed fault-localization results saving.