diff --git a/mkdocs.yml b/mkdocs.yml
index 47987356dd..0a5f259175 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -90,7 +90,6 @@ nav:
         - geps/gep-1897.md
         - geps/gep-1867.md
       - Prototyping:
-        - geps/gep-1709.md
       - Implementable:
         - geps/gep-1742.md
         - geps/gep-1686.md
@@ -101,6 +100,7 @@ nav:
         - geps/gep-1016.md
         - geps/gep-957.md
         - geps/gep-713.md
+        - geps/gep-1709.md
       - Standard:
         - geps/gep-1364.md
         - geps/gep-1323.md