diff --git a/doc/source/install/jarvis/proxy.rst b/doc/source/install/jarvis/proxy.rst
index b9ffaf0c..d46294a2 100644
--- a/doc/source/install/jarvis/proxy.rst
+++ b/doc/source/install/jarvis/proxy.rst
@@ -7,7 +7,8 @@ Environment Variables
 
 On the host machine, ensure the following environment variables are set with the appropriate proxy information:
 ``HTTP_PROXY``, ``HTTPS_PROXY``, and ``NO_PROXY``. You will also need to set the environment variable ``PRIVATE_NS``
-to an IP address of a corporate name server that will resolve internal URLs.
+to an IP address of a corporate name server that will resolve internal URLs. ``PRIVATE_NS`` can support multiple
+corporate name servers by creating a space separated list, such as ``PRIVATE_NS="172.18.0.17 172.19.0.17"``.
 
 Vagrant Plugin
 ==============
diff --git a/doc/source/install/jarvis/vagrant.rst b/doc/source/install/jarvis/vagrant.rst
index b336b421..03efc97f 100644
--- a/doc/source/install/jarvis/vagrant.rst
+++ b/doc/source/install/jarvis/vagrant.rst
@@ -59,11 +59,11 @@ Host Setup
 ==========
 
 To access the exposed Jarvis services in the Vagrant box, update the
-``/etc/hosts`` file with:
+``/etc/hosts`` (``C:\Windows\System32\drivers\etc\hosts`` on Windows) file with:
 
 .. code::
 
-  192.168.56.10 gerrit.jarvis.local harbor-core.jarvis.local harbor-notary.jarvis.local loki.jarvis.local grafana.jarvis.local
+  192.168.56.10 gerrit.jarvis.local harbor-core.jarvis.local harbor-notary.jarvis.local loki.jarvis.local grafana.jarvis.local tekton.jarvis.local
 
 .. note:: Replace ``jarvis.local`` with the appropriate host and domain name if
   those are overwritten.