You could try drilling out the small terminal, but that's not easily done.
I would replace the terminal with one that fits on the stud. Not sure if you have the equipment, but you can probably pick up kit with a wire stripper, and some different size terminals. Also helps to have shrink tubing instead of black tape!
View attachment 1716197963
View attachment 1716197964