One other thing that recently happened to me was the plastic disk on the back of the cluth pedal arm that engages the clutch switch broke off so that the clutch switch wouldn't get pushed in. I think this thing can wear which can result in weak engagement of the switch.
Just something to be aware of in the future.