Fix copied-in export