Minor fix for infeasible constraint in PolynomialProgram