Removed trivial destructors