diff --git a/docs/Plugins/PMD.md b/docs/Plugins/PMD.md
index 503485add..7e16ca639 100644
--- a/docs/Plugins/PMD.md
+++ b/docs/Plugins/PMD.md
@@ -17,6 +17,7 @@ PMD is a source code analyzer that searches for common programming flaws.
 It supports many different languages and can be extended by different sets of rules.
 
 In its current implementation the plugin uses the following sets of rules:
+
  - all-java.xml ([link](https://github.com/pmd/pmd/blob/83522e96ef512f2b9a41586ae239509ec6f8313f/pmd-core/src/main/resources/rulesets/internal/all-java.xml))
 
 !!! note
@@ -26,4 +27,4 @@ In its current implementation the plugin uses the following sets of rules:
 
 !!! question "How does PMD use the context?"
 
-    PMD does not rely on addition context, this option is therefore ignored.
\ No newline at end of file
+    PMD does not rely on additional context, this option is therefore ignored.
\ No newline at end of file
diff --git a/mkdocs.yml b/mkdocs.yml
index e4e814604..86e87fcab 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -162,6 +162,10 @@ nav:
         - 'What is Coko?': Coko/index.md
         - 'Modelling APIs with Coko': Coko/modelling.md
         - 'Coko Rules': Coko/rules.md
+    - 'Use Analysis Plugins':
+        - 'Overview': Plugins/index.md
+        - 'PMD Plugin': Plugins/PMD.md
+        - 'FindSecBugs Plugin': Plugins/FindSecBugs.md
     - 'Contributing':
         - 'Contributing to Codyze': contributors/index.md
         - 'Building the project': contributors/code.md