Repair of battery terminals