diff --git a/docs/style_guide.md b/docs/style_guide.md
index 65fd057598f6b9127b485631b021bf9c4776c62e..43c689e28db1f90b30c8e94d4ef39d5342956df0 100644
--- a/docs/style_guide.md
+++ b/docs/style_guide.md
@@ -3,7 +3,7 @@
 This document lays down syntactic conventions about how we usually write our
 Iris proofs in Coq.  It is a work-in-progress.  This complements the tactic
 documentation for the [proof mode](./proof_mode.md) and [HeapLang](./heap_lang.md) as
-well as the [proof guide](.doco/proof_guide.md).
+well as the [proof guide](./proof_guide.md).
 
 ## Implicit generalization