Minor fix in an assert