Nocturnal cramps: a nerve problem