diff --git a/doc/latex/dns.tex b/doc/latex/dns.tex
index 4087cab..e1f0106 100644
--- a/doc/latex/dns.tex
+++ b/doc/latex/dns.tex
@@ -463,15 +463,25 @@ field but we where no able to find test cases for them.
 
 
 \section{IP Addresses as Dotted Strings}
-\textbf{Should live in its own package}
+%
+\begin{description}
+\item[Used files:] ip.scm
+\item[Name of the package:] ips
+\end{description}
+%
+
+The structure \ex{ips} provides a small set of procedures for turning
+the human-readable form of IP addresses (``dotted strings'') into 32
+bits numbers.
+
 \defun{address32->ip-string}{\ipaddr}{ip-string}
 
 \defun{ip-string->address32}{ip-string}{\ipaddr}
 
 \defun{ip-string?}{string}{\boolean}
 \begin{desc}
-  Tests whether \var{string} represents a valid IPv4 address.
-  \oops{not yet implemented}
+  Tests whether \var{string} is a valid dotted string for an IP
+  address.
 \end{desc}
 %%% Local Variables: 
 %%% mode: latex