A Brief Reminder On NYSE Margin Debt