diff --git a/README.md b/README.md
index b211567a0bf0187e70c5c1ca740eacf7f83fecf1..f0767963b78c9b596fdc7ad201efb2eb5dee6b72 100644
--- a/README.md
+++ b/README.md
@@ -32,7 +32,7 @@ Notably:
   [bug in Coq](https://github.com/coq/coq/issues/6030).
 * The behavior of `Program` is tweaked: `Unset Transparent Obligations`,
   `Obligation Tactic := idtac`, `Add Search Blacklist "_obligation_"`.  See
-  [`base.v`](`theories/base.v`) for further details.
+  [`base.v`](theories/base.v) for further details.
 
 ## History