For future reference, white vinegar is the absolute jam for cleaning corrosion off of battery contacts. Dissolves it just like chalk.