s/BadZipFile/BadZipfile/