fix bug in FileNullInputFormat