does this `open` (and the one line 253) close the file ? (maybe python does automatically if the file descriptor has no more references, i'm just not sure)