[Mart]

Yeah, prof there looks like a small divot out of the od of the inner part, just to the left of the end of the spring. The ones I have seen have been on the outer part, but they achieve the same.

I imagine it is a latter day cost saving. A little notch is probably cheaper than making and assembling a jiggle pin.

Mart.