Minor edit, casefile.py