Eliminating accidentally reduplicated dtor