Fix another fact about VerifyPackage.