Minor tweaks for possibly better MIQCQP performance