fix a lower bound mistake