a few verification tweaks