diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
index 8237e09c..7964b6cd 100644
--- a/.github/workflows/certora.yml
+++ b/.github/workflows/certora.yml
@@ -46,4 +46,4 @@ jobs:
                   chmod +x ./certora/scripts/${{ matrix.rule }}
                   ./certora/scripts/${{ matrix.rule }}
               env:
-                  CERTORAKEY: ${{ secrets.CERTORA_KEY }}
\ No newline at end of file
+                  CERTORAKEY: ${{ secrets.CERTORA_KEY }}
diff --git a/README.md b/README.md
index cb74cece..2f41aaa4 100644
--- a/README.md
+++ b/README.md
@@ -114,13 +114,13 @@ yarn
 ### Compile
 
 ```bash
-npx hardhat compile
+yarn hardhat compile
 ```
 
 ### Test
 
 ```bash
-npx hardhat test
+yarn hardhat test
 ```
 
 ### Deploy
diff --git a/certora/specs/Manager.spec b/certora/specs/Manager.spec
index 417266cc..57e8599e 100644
--- a/certora/specs/Manager.spec
+++ b/certora/specs/Manager.spec
@@ -16,4 +16,4 @@ rule onlyOwnerCanSetRegistry (method f) filtered {
 
     assert ownerBefore == ownerAfter;
 
-}
\ No newline at end of file
+}