Fix definition of VerifiedRing
Merge pull request #1284 from bmsherman/verifiedRing

Fix definition of VerifiedRing