Added missing destructors