Fixed a bug in one of the spec tests.
The non-empty-verifier has now been implemented.