Correctly quote exports

[#73825406]