Update the description about the bound analysis.