diff --git a/specs/harness/LendingPoolHarnessForVariableDebtToken.sol b/specs/harness/LendingPoolHarnessForVariableDebtToken.sol
index b2d2e878..02b5a4b7 100644
--- a/specs/harness/LendingPoolHarnessForVariableDebtToken.sol
+++ b/specs/harness/LendingPoolHarnessForVariableDebtToken.sol
@@ -28,8 +28,8 @@ contract LendingPoolHarnessForVariableDebtToken is ILendingPool {
     address asset,
     uint256 amount,
     address to
-  ) external override {
-    originalPool.withdraw(asset, amount, to);
+  ) external override returns (uint256) {
+    return originalPool.withdraw(asset, amount, to);
   }
 
   function borrow(
@@ -47,8 +47,8 @@ contract LendingPoolHarnessForVariableDebtToken is ILendingPool {
     uint256 amount,
     uint256 rateMode,
     address onBehalfOf
-  ) external override {
-    originalPool.repay(asset, amount, rateMode, onBehalfOf);
+  ) external override returns (uint256) {
+    return originalPool.repay(asset, amount, rateMode, onBehalfOf);
   }
 
   function swapBorrowRateMode(address asset, uint256 rateMode) external override {
@@ -96,17 +96,17 @@ contract LendingPoolHarnessForVariableDebtToken is ILendingPool {
   }
 
   function getUserAccountData(address user)
-    external
-    view
-    override
-    returns (
-      uint256 totalCollateralETH,
-      uint256 totalBorrowsETH,
-      uint256 availableBorrowsETH,
-      uint256 currentLiquidationThreshold,
-      uint256 ltv,
-      uint256 healthFactor
-    )
+  external
+  view
+  override
+  returns (
+    uint256 totalCollateralETH,
+    uint256 totalDebtETH,
+    uint256 availableBorrowsETH,
+    uint256 currentLiquidationThreshold,
+    uint256 ltv,
+    uint256 healthFactor
+  )
   {
     return originalPool.getUserAccountData(user);
   }