Less confusing reporting of infeasible models.