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