minor destructor fix