diff --git a/docs/examples.rst b/docs/examples.rst
index 8dd689c..b709e4d 100644
--- a/docs/examples.rst
+++ b/docs/examples.rst
@@ -5,6 +5,7 @@ All commands
 ----------------------------------
 
 Input:
+
 .. code-block:: bash
 
     help
@@ -39,6 +40,7 @@ Synthesis of EPFL benchmarks
 In the following example, we show how `phyLS` can be used to synthesize a EPFL benchamrk. 
 
 Input:
+
 .. code-block:: bash
 
     read_aiger ~/phyLS/benchmarks/adder.aig