fix up MIP test