Small fix in exports