WYIL: minor tweaks to verification check.