added proper destructors