fixed some verification bugs