Actually exporting stuff