FIX: issue #537 (Internal Red context leaks into user contexts)