fixing stuff in verification