Denso Starter Repair (terminal broke)

Isn't there one of those small studs in the solenoid kit? I would have thought so.