[API] virtual destructor used