Vector naming, Vector.toString() implementation.