diff --git a/README.md b/README.md
index 32c4ac8..51540c3 100644
--- a/README.md
+++ b/README.md
@@ -29,7 +29,7 @@ After having installed Foundry:
     - [Storage layout diffs](./diffs/)
 - Security review and properties checking (formal verification) by [Certora](https://www.certora.com/), service provider of the Aave DAO.
     - [Properties](./certora/README.md)
-    - [Reports](./certora/report/Formal%20Verification%20Report%20of%20AAVE%20Token%20V3.md)
+    - [Reports](./certora/reports/Formal_Verification_Report_AAVE_Token_V3.pdf)
 
 <br>
 
diff --git a/aave-token-v3.png b/aave-token-v3.png
index b63409b..7544772 100644
Binary files a/aave-token-v3.png and b/aave-token-v3.png differ