That's true as well, though my experiences (twice now) have been that the head of the pivot bolt broke off before the release fork was bent. :( Regardless, it ends up in the same poor situation. Come to think of it, I'm pretty sure that's the reason I hard-wired my clutch pedal release-switch...