Update verification.rst