diff --git a/doc/options.rst b/doc/options.rst
index 4f7848be4c009e475d4c781625f05ad32abb2b47..873bfeef1bb8dfff0341a2a1a5aefa3cc30e8f81 100644
--- a/doc/options.rst
+++ b/doc/options.rst
@@ -3,7 +3,15 @@
 Command Line Options
 ====================
 
-Here is an overview of the command-line options that Leon recognizes: 
+Leon's command line options have the form ``--option`` or ``--option=value``.
+To enable a flag option, use ``--option=true`` or ``on`` or ``yes``,
+or just ``--option``. To disable a flag option, use ``--option=false``
+or ``off`` or ``no``.
+
+Additionally, if you need to pass options to the ``scalac`` frontend of Leon,
+you can do it by using a single dash ``-``. For example, ``-Ybrowse:typer``.
+
+The rest of this section presents all command-line options that Leon recognizes.
 
 Choosing which Leon feature to use
 ---------------------------