chore: space

src/SpeedJumpIrm.sol

@@ -154,6 +154,7 @@ contract AdaptativeCurveIrm is IIrm {
                 //                                                              <=> endBorrowRate <= startBorrowRate.
                 avgBorrowRate = uint256((int256(endBorrowRate) - int256(startBorrowRate)).wDivDown(linearVariation));
             }
+
             return (avgBorrowRate, endRateAtTarget);
         }
     }

src/libraries/MathLib.sol

@@ -31,11 +31,11 @@ library MathLib {
             int256 roundingAdjustment = (x < 0) ? -(LN2_INT / 2) : (LN2_INT / 2);
             // Safe unchecked because x is bounded.
             int256 q = (x + roundingAdjustment) / LN2_INT;
-            // Safe unchecked because |q * LN2_INT| <= |x|.
+            // Safe unchecked because |q * LN2_INT - x| <= LN2_INT/2.
             int256 r = x - q * LN2_INT;
 
             // Compute e^r with a 2nd-order Taylor polynomial.
-            // Safe unchecked because |r| < 1, expR < 2 and the sum is positive.
+            // Safe unchecked because |r| < 1e18, and the sum is positive.
             uint256 expR = uint256(WAD_INT + r + (r * r) / WAD_INT / 2);
 
             // Return e^x = 2^q * e^r.