The spec incorrectly stated that the call was forwarded at both the proof verification call and during the finalization call.