Correct example use of ValidationFailed

Having just introduced the new `ValidationFailed` exception, the example
then suggests the old `ValidationError`.