diff --git a/docs/development.rst b/docs/development.rst
index 79b5d4a5aebda3a64bea2a86a33ec1b37001588d..101dac8548e8833e4c841c24a2d0ff31be8b54a9 100644
--- a/docs/development.rst
+++ b/docs/development.rst
@@ -603,10 +603,8 @@ In order to deploy the test site, the following steps would normally be taken:
 
      ansible-playbook playbooks/preseed.yml
 
-9. Install all servers using the generated preseed files. All servers except
-   ``ws01.example.com`` are supposed to be running *Debian 8 Jessie*. The server
-   ``ws01.example.com`` is meant to run *Debian 9 Stretch* (althogh, Debian
-   Jessie should function as well).
+9. Install all servers using the generated preseed files. Use *Debian
+   8 Jessie* or *Debian 9 Stretch* in any combination desired.
 
 10. Add the SSH host fingerprints to your ``known_hosts`` file (don't forget to
     remove old entries if you are redoing the process). You can easily obtain all
@@ -615,7 +613,7 @@ In order to deploy the test site, the following steps would normally be taken:
 
     .. code-block:: shell
 
-      ssh-keyscan -t ed25519 mail.example.com ldap.example.com xmpp.example.com web.example.com backup.example.com ws01.example.com $(resolveip -s mail.example.com) $(resolveip -s ldap.example.com) $(resolveip -s xmpp.example.com) $(resolveip -s web.example.com) $(resolveip -s backup.example.com) $(resolveip -s ws01.example.com)
+      ssh-keyscan -t ed25519 mail.example.com ldap.example.com xmpp.example.com web.example.com backup.example.com ws01.example.com $(dig +short mail.example.com) $(dig +short ldap.example.com) $(dig +short xmpp.example.com) $(dig +short web.example.com) $(dig +short backup.example.com) $(dig +short ws01.example.com)
 
 11. Invoke the ``bootstrap.yml`` playbook in order to set-up some basic
     environment for Ansible runs on all servers: