clarify exporting in setup instructions