might as well peek into the attribute for this, too, avoiding public api