Gurobi status had small visual bug.