Quite right; I'm not quite sure how that ended up there.  Will fix.