diff --git a/stdlib/tactics/basic.rkt b/stdlib/tactics/basic.rkt
index 3a285d2..37f8b33 100644
--- a/stdlib/tactics/basic.rkt
+++ b/stdlib/tactics/basic.rkt
@@ -80,7 +80,7 @@
         [(quit)
          (begin
            (printf "Your tactic script:~n")
-           (pretty-print (map syntax->datum cmds))
+           (pretty-print (reverse (map syntax->datum cmds)))
            (newline)
            ps)]
         ;; TODO: Maybe use (read-eval-print-loop) and its
diff --git a/stdlib/tactics/sartactics.rkt b/stdlib/tactics/sartactics.rkt
index 230ff7f..362dd67 100644
--- a/stdlib/tactics/sartactics.rkt
+++ b/stdlib/tactics/sartactics.rkt
@@ -104,7 +104,7 @@
          (if (< (random 10) 4)
              (begin
                (printf "Don't forget this. It took you long enough:~n")
-               (pretty-print (map syntax->datum cmds))
+               (pretty-print (reverse (map syntax->datum cmds)))
                (newline)
                ps)
              (begin