Fix incorrect export