diff --git a/src/gui/options/hotkeySettings.tw b/src/gui/options/hotkeySettings.tw
index c415b29b410c9e0c74f2f76e78e3f62ed1452606..b1bf6388eacc1f4df01bd3ee5d965dceab84e39e 100644
--- a/src/gui/options/hotkeySettings.tw
+++ b/src/gui/options/hotkeySettings.tw
@@ -7,7 +7,7 @@
 <p>
     <ul>
         <li>
-            On keyboards layouts other than the <a href="https://en.wikipedia.org/wiki/File:KB_United_States.svg"
+            On keyboard layouts other than the <a href="https://en.wikipedia.org/wiki/File:KB_United_States.svg"
             target="_blank">US-QWERTY layout</a>  there may be keys or combinations of keys where the recorded key is
             different from the key used to listen to key events. You will have to find these keys yourself through trial
             and error.
@@ -16,7 +16,7 @@
             Custom hotkeys are browser specific and are not part of your save.
         </li>
         <li>
-            While we try to not overwrite browser or OS level key combinations it is possible to do so with custom
+            While we try not to overwrite browser or OS level key combinations it is possible to do so with custom
             hotkeys. This also means that during recording of custom hotkeys no browser or OS level key combinations are
             available. There are however keys that cannot be overwritten, the <code>Win key</code> on Windows is an
             example for this.