Fixed bug when failing a verification