diff --git a/docs.html b/docs.html
index bce1227..e051926 100644
--- a/docs.html
+++ b/docs.html
@@ -133,7 +133,7 @@ <h2 class="display-7" id="projects">Projects</h2>
                     </p>
                     <p>
                         NOTE: when overriding settings with you project config bear in mind that some of the settings, such as workspace dirs, build commands etc. will completely replace
-                        the global settings, while other options (such as keymaps or the options in the <code>[[settings]]</code> block will be merged with the global ones, allowing you
+                        the global settings, while other options (such as keymaps or the options in the <code>[[settings]]</code> block) will be merged with the global ones, allowing you
                         to only replace a few and leave the rest intact.
                     </p>
                     <p><h5>Creating a new project</h5></p>