proper export