Small bugfix in CVX optimizer