Minor fix for getInstCons