Fix a triple in ML2