diff --git a/doc/bino.texi b/doc/bino.texi
index fb5005e..ccfd46d 100644
--- a/doc/bino.texi
+++ b/doc/bino.texi
@@ -110,7 +110,7 @@ Print version.
 @itemx --no-gui
 Do not use the GUI, just play the given input in a plain window using the
 parameters given on the command line.
address@hidden address@hidden
address@hidden address@hidden
 Append all log messages to the given file.
 @item -L
 @itemx address@hidden