diff --git a/certora/scripts/passes/verifyTimelock.sh b/certora/scripts/passes/verifyTimelock.sh
index 1d11dbcfd..713324a82 100644
--- a/certora/scripts/passes/verifyTimelock.sh
+++ b/certora/scripts/passes/verifyTimelock.sh
@@ -7,5 +7,5 @@ certoraRun \
     --verify TimelockControllerHarness:certora/specs/TimelockController.spec \
     --optimistic_loop \
     --loop_iter 3 \
-    --settings -byteMapHashingPrecision=32 \
     $@
+#    --settings -byteMapHashingPrecision=32 \
diff --git a/certora/specs/TimelockController.spec b/certora/specs/TimelockController.spec
index 9d5df6b97..b7a17dbd0 100644
--- a/certora/specs/TimelockController.spec
+++ b/certora/specs/TimelockController.spec
@@ -11,8 +11,9 @@ methods {
 
     isOperationReady(bytes32) returns(bool)
     cancel(bytes32)
-    schedule(address, uint256, bytes32, bytes32, bytes32, uint256)
+    schedule(address, uint256, bytes, bytes32, bytes32, uint256)
     execute(address, uint256, bytes, bytes32, bytes32)
+		scheduleBatch(address[], uint256[], bytes[], bytes32, bytes32, uint256)
     executeBatch(address[], uint256[], bytes[], bytes32, bytes32)
     _checkRole(bytes32) => DISPATCHER(true)
 }