Fix bug in exports