bugfix for varray_del()