Fixed a bug in the new CPLEX formulation.