diff --git a/build.gradle.kts b/build.gradle.kts
index b1bb741..c39fc12 100644
--- a/build.gradle.kts
+++ b/build.gradle.kts
@@ -22,7 +22,7 @@ plugins {
   // Kotlin support
   kotlin("jvm") version "2.1.0"
   // https://github.com/JetBrains/gradle-intellij-plugin
-  id("org.jetbrains.intellij.platform") version "2.1.0"
+  id("org.jetbrains.intellij.platform") version "2.1.1"
   // https://github.com/JetBrains/gradle-changelog-plugin
   id("org.jetbrains.changelog") version "2.2.1"
   // https://github.com/JetBrains/gradle-grammar-kit-plugin
diff --git a/src/main/java/org/aya/intellij/ui/toolwindow/GoalsView.java b/src/main/java/org/aya/intellij/ui/toolwindow/GoalsView.java
index 5129d98..0d71e2e 100644
--- a/src/main/java/org/aya/intellij/ui/toolwindow/GoalsView.java
+++ b/src/main/java/org/aya/intellij/ui/toolwindow/GoalsView.java
@@ -44,7 +44,7 @@
 public class GoalsView implements AyaTreeView.NodeAdapter<GoalsView.GoalNode> {
   private final @NotNull AyaTreeView<GoalNode> treeView;
   // TODO: user-defined distiller options
-  private final @NotNull PrettierOptions options = AyaPrettierOptions.informative();
+  private final @NotNull PrettierOptions options = AyaPrettierOptions.debug();
   private final @NotNull Project project;
 
   public GoalsView(@NotNull Project project, @NotNull ToolWindow toolWindow) {