FIX: issue #672 (Presumable typo in %debug-tools.reds)