vertex destructor fix