fix a cvxopt issue... maybe