Thanks, yes you are right, you can always leak the file handle. Just wanted to make sure I understand how this works in Python correctly