diff --git a/Informal/README.md b/Informal/README.md
index 104ba98..3b16e9a 100644
--- a/Informal/README.md
+++ b/Informal/README.md
@@ -4,7 +4,7 @@ This directory contains informal specifications of the SDK.
 
 Highlights are:
 
-[A description](description/election.html) of how an E2E-V election might run
+[A description](description/election.rst) of how an E2E-V election might run
 
 Images of the state machine, process chart, and assurance layers