diff --git a/source/settings/config-file.txt b/source/settings/config-file.txt
index 34e7d74ed..37a6448c8 100644
--- a/source/settings/config-file.txt
+++ b/source/settings/config-file.txt
@@ -127,9 +127,9 @@ Settings
        option with the :guilabel:`Edit connection string` toggle. 
 
    * - proxy
-     - Allows you to enforce or define a ``proxy`` to connect to your deployment 
+     - Allows you to enforce or define a proxy to connect to your deployment 
        with. For more information on connecting to your deployment with a
-       ``proxy``, see :ref:`ssh-connection`.
+       proxy, see :ref:`ssh-connection`.
 
        You must pass either a URL or a ``DevtoolsProxyOptions`` object as JSON
        for the ``proxy`` setting. A ``DevtoolsProxyOptions`` object takes the following