minor cleanup in the unzip tool.