result destructor at the wrong level