typo on verify in main.c