fixed bug in verif