bug fix in kMin lower bound