fixed destructors