An Axiomatization of the Core of Market Games: A Correction

The proof of Lemma 4.7 in Peleg (Peleg, B. 1989. An axiomatization of the core of market games. Math. Oper. Res.14 448–456.) is incorrect. However, if we add the following innocent axiom, the proof of the lemma becomes straightforward.