Done. Usually Vocal is, or I was under the impression they were, pretty good at catching this kind of thing. Presumably that's one of the reasons it takes them so long to publish stuff.