Revealed Preference and Independence of Irrelevant Alternatives: A Note