diff --git a/Doc/lib/libsocket.tex b/Doc/lib/libsocket.tex
index 7596a86..f051be8 100644
--- a/Doc/lib/libsocket.tex
+++ b/Doc/lib/libsocket.tex
@@ -54,14 +54,18 @@
 \begin{datadesc}{AF_UNIX}
 \dataline{AF_INET}
 These constants represent the address (and protocol) families,
-used for the first argument to \code{socket()}.
+used for the first argument to \code{socket()}.  If the \code{AF_UNIX}
+constant is not defined then this protocol is unsupported.
 \end{datadesc}
 
 \begin{datadesc}{SOCK_STREAM}
 \dataline{SOCK_DGRAM}
+\dataline{SOCK_RAW}
+\dataline{SOCK_RDM}
+\dataline{SOCK_SEQPACKET}
 These constants represent the socket types,
 used for the second argument to \code{socket()}.
-(There are other types, but only \code{SOCK_STREAM} and
+(Only \code{SOCK_STREAM} and
 \code{SOCK_DGRAM} appear to be generally useful.)
 \end{datadesc}
 
@@ -71,6 +75,11 @@
 is an IP address itself it is returned unchanged.
 \end{funcdesc}
 
+\begin{funcdesc}{gethostname}{}
+Return the current host's canonical name, as a string
+(e.g. \code{'voorn.cwi.nl'}).
+\end{funcdesc}
+
 \begin{funcdesc}{getservbyname}{servicename\, protocolname}
 Translate an Internet service name and protocol name to a port number
 for that service.  The protocol name should be \code{'tcp'} or
@@ -139,7 +148,7 @@
 Return the remote address to which the socket is connected.  This is
 useful to find out the port number of a remote IP socket, for instance.
 (The format of the address returned depends on the address family --
-see above.)
+see above.)  On some systems this function is not supported.
 \end{funcdesc}
 
 \begin{funcdesc}{getsockname}{}
diff --git a/Doc/libsocket.tex b/Doc/libsocket.tex
index 7596a86..f051be8 100644
--- a/Doc/libsocket.tex
+++ b/Doc/libsocket.tex
@@ -54,14 +54,18 @@
 \begin{datadesc}{AF_UNIX}
 \dataline{AF_INET}
 These constants represent the address (and protocol) families,
-used for the first argument to \code{socket()}.
+used for the first argument to \code{socket()}.  If the \code{AF_UNIX}
+constant is not defined then this protocol is unsupported.
 \end{datadesc}
 
 \begin{datadesc}{SOCK_STREAM}
 \dataline{SOCK_DGRAM}
+\dataline{SOCK_RAW}
+\dataline{SOCK_RDM}
+\dataline{SOCK_SEQPACKET}
 These constants represent the socket types,
 used for the second argument to \code{socket()}.
-(There are other types, but only \code{SOCK_STREAM} and
+(Only \code{SOCK_STREAM} and
 \code{SOCK_DGRAM} appear to be generally useful.)
 \end{datadesc}
 
@@ -71,6 +75,11 @@
 is an IP address itself it is returned unchanged.
 \end{funcdesc}
 
+\begin{funcdesc}{gethostname}{}
+Return the current host's canonical name, as a string
+(e.g. \code{'voorn.cwi.nl'}).
+\end{funcdesc}
+
 \begin{funcdesc}{getservbyname}{servicename\, protocolname}
 Translate an Internet service name and protocol name to a port number
 for that service.  The protocol name should be \code{'tcp'} or
@@ -139,7 +148,7 @@
 Return the remote address to which the socket is connected.  This is
 useful to find out the port number of a remote IP socket, for instance.
 (The format of the address returned depends on the address family --
-see above.)
+see above.)  On some systems this function is not supported.
 \end{funcdesc}
 
 \begin{funcdesc}{getsockname}{}