diff --git a/certora/harnesses/ERC20PermitHarness.sol b/certora/harnesses/ERC20PermitHarness.sol
index 5b51788fa..29d060232 100644
--- a/certora/harnesses/ERC20PermitHarness.sol
+++ b/certora/harnesses/ERC20PermitHarness.sol
@@ -1,5 +1,9 @@
 import "../munged/token/ERC20/extensions/draft-ERC20Permit.sol";
 
 contract ERC20PermitHarness is ERC20Permit {
+    constructor(string memory _name, string memory _symbol)
+        ERC20(_name, _symbol)
+        ERC20Permit(_name)
+    {}
 }
 
diff --git a/certora/harnesses/ERC20WrapperHarness.sol b/certora/harnesses/ERC20WrapperHarness.sol
index 57a6c07be..23e37df11 100644
--- a/certora/harnesses/ERC20WrapperHarness.sol
+++ b/certora/harnesses/ERC20WrapperHarness.sol
@@ -4,6 +4,7 @@ contract ERC20WrapperHarness is ERC20Wrapper {
 
     constructor(IERC20 underlyingToken, string memory _name, string memory _symbol)
         ERC20Wrapper(underlyingToken)
+        ERC20(_name, _symbol)
     {}
 }
 
diff --git a/certora/scripts/sanityTokens.sh b/certora/scripts/sanityTokens.sh
index 10254c843..30828055b 100755
--- a/certora/scripts/sanityTokens.sh
+++ b/certora/scripts/sanityTokens.sh
@@ -2,7 +2,7 @@
 
 make -C certora munged
 
-for f in certora/harnesses/{ERC20Votes,ERC20Wrapper,ERC20Permit}Harness.sol
+for f in certora/harnesses/ERC20{Votes,Permit,Wrapper}Harness.sol
 do
     echo "Processing $f"
     file=$(basename $f)
@@ -12,6 +12,6 @@ do
         --solc solc8.2 --staging \
         --optimistic_loop \
         --msg "checking sanity on ${file%.*}" \
-        --settings -copyLoopUnroll=4 \
+        --settings -copyLoopUnroll=4,-strictDecompiler=false \
         --send_only
 done