Small fix in readcsv.py