finish verification algorithm & typo fixes