export: minor whitespace fixes