Fix issue #795 — Struct dtor called twice under some circumstances

des_t_ructor ;)