add Vector constructor