Correction to exporting docs