Remaining destructors implemented