This fixes #8392.  Export now works properly.