Right, thanks — that’s what I meant to say. I just edited the comment to fix the mistake.

You’re totally correct!