Typo in janus_evaluate_verify usage.