According to python document, `open` is preferred to open a file. Any special reason to use `file` here?