improved documentation for verify function