If you print directly to PDF (on Mac, you select image, Print Graphic..., then Save as PDF...), you get good results:
So it looks like you can work round the bug in Export.
(This is probably the equivalent of another answer, but doesn't involve giving any money to Adobe...)
