Fix export example