diff --git a/doc/terminal.xml b/doc/terminal.xml
index 606d543..c9776e1 100644
--- a/doc/terminal.xml
+++ b/doc/terminal.xml
@@ -49,6 +49,7 @@
&name;
+ shell
@@ -57,7 +58,8 @@
Options
- This program does not accept any options from the command line.
+ The path to an alternate default shell can be given as an argument on
+ the command line.
Bugs