misc stuff for exporting