Small fixes to export