more minor export stuff