diff --git a/README.md b/README.md
index bba3b3e77f803420955312c53b96dd43e6973089..43ffe34e8ea910ce0f59c9cdf36c0464e9b836b6 100644
--- a/README.md
+++ b/README.md
@@ -100,8 +100,8 @@ caisar verify --prover=PROVER FILE
 
 `FILE` defines the property to verify, and it must be
 written in the [WhyML](https://why3.lri.fr/doc-0.80/manual004.html) language.
-Examples of [WhyML](https://why3.lri.fr/doc-0.80/manual004.html) files (`.mlw`)
-can be found in the [tests](https://git.frama-c.com/pub/caisar/-/tree/master/tests)
+Examples of [WhyML](https://why3.lri.fr/doc-0.80/manual004.html) files (`.why`)
+can be found in the [examples](https://git.frama-c.com/pub/caisar/-/tree/master/examples)
 folder.
 
 ### External provers detection