Updated verification database; small changes in other packages.