Fixed documentation for verify().