Proper export?