diff --git a/docs/howto/auth/github.rst b/docs/howto/auth/github.rst
index 0793abe..9516150 100644
--- a/docs/howto/auth/github.rst
+++ b/docs/howto/auth/github.rst
@@ -75,8 +75,8 @@ For more information on ``tljh-config``, see :ref:`topic/tljh-config`.
 
      sudo tljh-config reload
 
-Confirm that the new authentactor works
-=======================================
+Confirm that the new authenticator works
+========================================
 
 #. **Open an incognito window** in your browser (do not log out until you confirm
    that the new authentication method works!)
diff --git a/docs/topic/tljh-config.rst b/docs/topic/tljh-config.rst
index e4eeab6..fe70fa1 100644
--- a/docs/topic/tljh-config.rst
+++ b/docs/topic/tljh-config.rst
@@ -88,6 +88,7 @@ Ports
 
     sudo tljh-config set http.port 8080
     sudo tljh-config set https.port 8443
+    sudo tljh-config reload proxy
 
 .. _tljh-set-user-lists: