fixed wrongly-named Vec constrs