Added vector_free() to destructor