Fixed VERIFY