a few more reexports