Minial tweak on tocsv.py