type tweaks to csv.py