You are correct, of course. It’s too late for me to correct my comment; I slipped up while trying to de-technicalize the definition. Thanks for the correction.