Removed the annoying CPLEX warning.