diff --git a/website/docs/internals/module-registry-protocol.html.md b/website/docs/internals/module-registry-protocol.html.md
index 377363d8d..863ac03f9 100644
--- a/website/docs/internals/module-registry-protocol.html.md
+++ b/website/docs/internals/module-registry-protocol.html.md
@@ -1,7 +1,7 @@
---
layout: "docs"
page_title: "Module Registry Protocol"
-sidebar_current: "docs-internals-modules-protocol"
+sidebar_current: "docs-internals-module-registry-protocol"
description: |-
The module registry protocol is implemented by a host intending to be the
host of one or more Terraform modules, specifying which modules are available
diff --git a/website/docs/internals/provider-registry-protocol.html.md b/website/docs/internals/provider-registry-protocol.html.md
index f4b7a1b81..f8a909e7b 100644
--- a/website/docs/internals/provider-registry-protocol.html.md
+++ b/website/docs/internals/provider-registry-protocol.html.md
@@ -1,7 +1,7 @@
---
layout: "docs"
page_title: "Provider Registry Protocol"
-sidebar_current: "docs-internals-providers-protocol"
+sidebar_current: "docs-internals-provider-registry-protocol"
description: |-
The provider registry protocol is implemented by a host intending to be the
origin host for one or more Terraform providers, specifying which providers
diff --git a/website/layouts/docs.erb b/website/layouts/docs.erb
index 1742ea4d5..9671b3d49 100644
--- a/website/layouts/docs.erb
+++ b/website/layouts/docs.erb
@@ -449,6 +449,14 @@
Debugging Terraform
+ >
+ Module Registry Protocol
+
+
+ >
+ Provider Registry Protocol
+
+
>
Resource Graph