diff --git a/mkdocs.yml b/mkdocs.yml
index 59da2b2fd5..628ef8fb9d 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -124,7 +124,6 @@ nav:
     - Provisional:
       - geps/gep-1494/index.md
       - geps/gep-1651/index.md
-      - geps/gep-1713/index.md
       - geps/gep-1767/index.md
       - geps/gep-2648/index.md
     - Implementable:
@@ -134,6 +133,7 @@ nav:
     - Experimental:
       - geps/gep-995/index.md
       - geps/gep-1619/index.md
+      - geps/gep-1713/index.md
       - geps/gep-1731/index.md
       - geps/gep-1748/index.md
       - geps/gep-1897/index.md