Small fix for fileinput