Reinstalling battery today and noticed a small chip on the negative terminal. See pic. Mower started up and ran fine. Connection is good and tight. Any cause for concern?