Erratum to “Savage's P3 is Redundant” - Frahm, Gabriel; Hartmann, Lorenz (Econometrica, 2023)