Bit of a random one today. Last night I was out in the Lude, I'm driving along and I literally place my foot against the clutch pedal just as I get ready to change gear. Suddenly there's a *thunk* followed by me desperately searching for the pedal

The weird thing was the car was still in gear! After a few seconds I managed to hook my toe under the pedal and pull it back up. It popped right back up and has been fine since.
Obviously this suggests to me it's just an issue with the pedal. Has anyone had this before or know what I should check? I've had a nose at the service manual and the pedal assembly seems pretty complex so don't want to just go and start messing around with it.
Cheers