Fixed bug in my uses of fileinput