diff --git a/docs/src/user.tex b/docs/src/user.tex
index 09a01c8155..1cec220682 100644
--- a/docs/src/user.tex
+++ b/docs/src/user.tex
@@ -1345,6 +1345,7 @@ for concrete examples of the syntax.
 \item[memory] Memory size in megabytes.
 \item[cpu] CPU to run this domain on, or {\tt -1} for
   auto-allocation. 
+\item[console] Port to export the domain console on (default 9600 + domain ID).
 \item[nics] Number of virtual network interfaces.
 \item[vif] List of MAC addresses (random addresses are assigned if not
   given) and bridges to use for the domain's network interfaces, e.g.