Fixed a typo that caused verification problems.