I recently replaced my battery in my 2009 Mazda 3 and am not sure whether there was a washer that goes with nut and bolt that tighten the positive clamp. The positive clamp came out while I was driving today. Fortunately, I was not on the highway. When I installed the battery, the top of the clamp and the top of the positive terminal came to the same level, leaving a gap between the bottom of the clamp and bottom of the terminal. Should I loosen up the clamp and push it until it hit the bottom of the terminal? I cannot remember how it was before. Appreciate if you can check your Mazda 3 and let me know whether there is a washer that goes with the nut and bolt that tighten the positive clamp and whether top of the positive terminal and top of the positive clamp are on the same horizontal level.