#4319: Fixing the export.