cleaner output of export tags (#41)