bugfix: leaking file handle is no longer