That's leftover from an earlier draft.  Let me remove it.