Probably gratuitous since the whole `ZipFile` is closed later, but I guess harmless.