a few veerification fixes