fixing mrnet destructor bug