issue #20399: fix export filename
Merge pull request #441 from shackbarth/20399

issue #20399: fix export filename