Fix bad assumption.
Stricten up PEVerify rules.