Edit: fileinput.py