Merge "fix a weird use of Vector::appendVector()"