diff --git a/doc/erko_howto_tools.txt b/doc/erko_howto_tools.txt
index 76a7043e482db41681a7692079cc5965663289c3..95e7cbfac3bfd78084c032cb2858754a14847e10 100755
--- a/doc/erko_howto_tools.txt
+++ b/doc/erko_howto_tools.txt
@@ -795,6 +795,9 @@ then:
 > ping dop436.astron.nl
 > ping 10.87.0.236 (= dop346, Pieter)
 
+> ping dop458.astron.nl
+> ping 10.87.1.8 (= dop458, Reinier)
+
 > ping dop386.astron.nl
 > ping 10.87.0.186 (= dop386)