update for nicer Mosek syntax