Fix VERIFY0

An incorrect VERIFY0 was implemented by
e72e20aee076c09bd8b21613f32fca5e96926f48. This patche fixes it.

Signed-off-by: Richard Yao <ryao@gentoo.org>