tweaks to cvx interface