Bug in my use of fileinput fixed