Fixed the error predicate.