Correct export instructions