fix #2071 export to galaxy exports everything as string