FIX: issue #667 ('replace crashing Red)