Minor edits to the file input documentation