Good catch!  You're quite right that we're all set here.  I'll remove the comment here.