to repair a hole in the casing