ahammett: fix minor logic of verify