Addendum to my notes on exercising one's body to get rid of nocturnal leg cramps:

Contrary to what your gym instructor will tell you, when doing sit-ups focus on your legs rather than your stomach. You do this by keeping your legs flat, not arched, on the floor. Feel the way the muscles in the back of your thighs are stretched--it is actually quite a pleasant feeling.