tweaks to the translator's module exporter