fixed destruct without hyp naming