Fix to a conmin test