Fix miart from miart2