diff --git a/certora/steward/harness/GhoStewardV2_Harness.sol b/certora/steward/harness/GhoStewardV2_Harness.sol
index c0b324ab..54b23e14 100644
--- a/certora/steward/harness/GhoStewardV2_Harness.sol
+++ b/certora/steward/harness/GhoStewardV2_Harness.sol
@@ -1,8 +1,7 @@
 // SPDX-License-Identifier: MIT
 pragma solidity ^0.8.10;
 
-import {GhoStewardV2} from "../../../src/contracts/misc/GhoStewardV2.sol";
-
+import {GhoStewardV2} from '../../../src/contracts/misc/GhoStewardV2.sol';
 
 contract GhoStewardV2_Harness is GhoStewardV2 {
   constructor(
@@ -11,12 +10,12 @@ contract GhoStewardV2_Harness is GhoStewardV2 {
     address ghoToken,
     address fixedRateStrategyFactory,
     address riskCouncil
-  ) GhoStewardV2 (owner,addressesProvider,ghoToken,fixedRateStrategyFactory,riskCouncil) {
-  }
+  ) GhoStewardV2(owner, addressesProvider, ghoToken, fixedRateStrategyFactory, riskCouncil) {}
 
-  function get_gsmFeeStrategiesByRates(uint256 buyFee, uint256 sellFee) external view returns(address) {
-      return _gsmFeeStrategiesByRates[buyFee][sellFee];
+  function get_gsmFeeStrategiesByRates(
+    uint256 buyFee,
+    uint256 sellFee
+  ) external view returns (address) {
+    return _gsmFeeStrategiesByRates[buyFee][sellFee];
   }
-
 }
-