Fix possible issue with userdata destructors