Deal with some additional cases in VECTORCHECK().

Closes #937