Another verification bug