diff --git a/doc/org/ltldo.org b/doc/org/ltldo.org
index 3e840f31f..bd932deeb 100644
--- a/doc/org/ltldo.org
+++ b/doc/org/ltldo.org
@@ -26,7 +26,7 @@ Büchi automaton produced by =ltl3ba=.
 
 Here is the input file:
 
-#+BEGIN_SRC sh :results verbatim :exports code
+#+BEGIN_SRC sh :results silent :exports both
 cat >sample.ltl <<EOF
 1
 1 U a
@@ -289,6 +289,10 @@ ltl3ba,4,7
 
 Much more readable!
 
+#+BEGIN_SRC sh :results silent :exports results
+rm -f sample.ltl
+#+END_SRC
+
 * Shorthands for existing tools
 
 There is a list of existing tools for which =ltldo= (and =ltlcross=)