Repairing a washout