comments on SET_VECTOR_ELEMENT_...