tweaks to vector_copy