diff --git a/docs/content/dev/docker.md b/docs/content/dev/docker.md
index 2eacac9bf..227a397c6 100644
--- a/docs/content/dev/docker.md
+++ b/docs/content/dev/docker.md
@@ -1,4 +1,4 @@
-# Build
+# Building Docker images
 
 To build docker images of the backend or frontend use the following commands.
 Make sure that you have installed the [Docker BuildKit Plugin](https://docs.docker.com/build/install-buildx/) and
diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml
index 1fea1a606..ab9b78b63 100644
--- a/docs/mkdocs.yml
+++ b/docs/mkdocs.yml
@@ -23,13 +23,14 @@ nav:
     - Getting Started: dev/getting-started.md
     - Frontend: dev/setup/frontend.md
     - Development Notes: dev/dev_notes.md
+    - Docker: dev/docker.md
+    - Writing Docs: dev/documentation.md
     - Design Documents:
       - API Authentication: dev/design_docs/api_auth.md
       - Configuration: dev/design_docs/config.md
       - Events: dev/design_docs/events.md
       - Notes: dev/design_docs/notes.md
       - 'User Profiles & Authentication': dev/design_docs/user_profiles.md
-    - 'Writing Docs': dev/documentation.md
   - FAQ: https://hedgedoc.org/faq
 markdown_extensions:
   - toc: