Fix highlighting in exports.

Closes #356.