Made a correction to VerifiedApplicative