CSV export now actually works.