HOW TO REPAIR A LEAKY PIPELINE