Repair of exhaust systems