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.