Verified packages. Minor tweaks throughout.