Repairing a leak