C++: Fix QLDoc.

Author: MathiasVP

cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisStage.qll

@@ -1194,9 +1194,10 @@ module RangeStage<DeltaSig D, BoundSig<D> Bounds, LangSig<D> LangParam, UtilSig<
    * Holds if `isLeft = true` and `mul`'s left operand is bounded by `delta`,
    * or if `isLeft = false` and `mul`'s right operand is bounded by `delta`.
    *
-   * If `upper = true` the computed bound is an upper boud, and if `upper = false`
-   * the computed bound is a lower bound. The `fromBackEdge`, `origdelta`, `reason`
-   * triple are defined by the recursive call to `bounded`.
+   * If `upper = true` the computed bound contributes to an upper bound of the
+   * operand, and if `upper = false` it contributes to a lower bound.
+   * The `fromBackEdge`, `origdelta`, `reason` triple are defined by the recursive
+   * call to `bounded`.
    */
   pragma[nomagic]
   private predicate boundedMulOperand(