Nonvirtual destructor