diff --git a/Technology b/Technology
index 78e8f63..a103c43 100644
--- a/Technology
+++ b/Technology
@@ -23,7 +23,7 @@ programming.  OCaml has an expressive static type system, and type inference.  A
 developer can specify complex invariants in the type system, which are
 checked at compile time, and violations are caught early.
 
-We discuss more reasons why we use OCaml [further down](#WhyOCaml).
+We discuss more reasons why we use OCaml [further down](#Why-OCaml).
 
 ## MirageOS