diff --git a/.gitignore b/.gitignore
index fc18946..1835098 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,6 +3,7 @@ fig
 sfig
 refdb
 virtuoso-opensource
+shrdlurn_output
 
 classes
 libsempre
diff --git a/src/edu/stanford/nlp/sempre/interactive/actions/ActionExecutor.java b/src/edu/stanford/nlp/sempre/interactive/actions/ActionExecutor.java
index 57c38b8..78fd609 100644
--- a/src/edu/stanford/nlp/sempre/interactive/actions/ActionExecutor.java
+++ b/src/edu/stanford/nlp/sempre/interactive/actions/ActionExecutor.java
@@ -46,12 +46,15 @@ public class ActionExecutor extends Executor {
     // denotation (unlike for lambda DCS).
     FlatWorld world = FlatWorld.fromContext(opts.FlatWorldType, context);
     formula = Formulas.betaReduction(formula);
-    performActions((ActionFormula)formula, world);
     try {
+      performActions((ActionFormula)formula, world);
       return new Response(new StringValue(world.toJSON()));
     } catch (Exception e) {
       // Comment this out if we expect lots of innocuous type checking failures
-      if (opts.printStackTrace) e.printStackTrace();
+      if (opts.printStackTrace) {
+        LogInfo.log("tried to execute: " + formula.toString());
+        e.printStackTrace();
+      }
       return new Response(ErrorValue.badJava(e.toString()));
     }
   }