minor change to readfiles.py