Fix a contains elimination bug