diff --git a/src/main/jastadd/DumpTree.jrag b/src/main/jastadd/DumpTree.jrag
index d1203aeee5ae7b2713571c7ecd9f1c51238482a7..2d2f3403c7c03738cd6ff6e4351d22dadc440988 100644
--- a/src/main/jastadd/DumpTree.jrag
+++ b/src/main/jastadd/DumpTree.jrag
@@ -33,7 +33,7 @@ aspect DumpTree {
   public String ASTNode.extraDumpInfo() { return ""; }
 
   public String ASTNode.getTokens() {
-    java.util.TreeSet<java.lang.reflect.Method> methods = new java.util.TreeSet<>(Comparator.comparing(Method::getName));
+    java.util.TreeSet<java.lang.reflect.Method> methods = new java.util.TreeSet<>(Comparator.comparing(java.lang.reflect.Method::getName));
 
     methods.addAll(java.util.Arrays.asList(getClass().getMethods()));
 
@@ -43,7 +43,8 @@ aspect DumpTree {
       if (token != null) {
         try {
           result.append(String.format(" %s=\"%s\"", token.name(), method.invoke(this)));
-        } catch (IllegalAccessException | java.lang.reflect.InvocationTargetException ignored) {
+        } catch (IllegalAccessException  ignored) {
+        } catch (java.lang.reflect.InvocationTargetException ignored) {
         }
       }
     }
diff --git a/src/main/jastadd/backend/PrettyPrinting.jadd b/src/main/jastadd/backend/PrettyPrinting.jadd
index 49d33b9997f4840e54afe7de2f7dd4ba786bb45d..63c5344546c84ce11800d0171d0bb236b4da9c32 100644
--- a/src/main/jastadd/backend/PrettyPrinting.jadd
+++ b/src/main/jastadd/backend/PrettyPrinting.jadd
@@ -33,10 +33,10 @@ aspect PrettyPrinting {
 
 aspect Utils {
   public String ASTNode.ind(int n) {
-    String s = "";
+    StringBuilder s = new StringBuilder();
     for (int i = 0; i < n; i++) {
-      s += "  ";
+      s.append("  ");
     }
-    return s;
+    return s.toString();
   }
 }