Minor bugs in new_cplex_code