Fix a last use of file() that should be open().