diff --git a/core/cubes/agda.el b/core/cubes/agda.el
index 61bad7a..0fa6848 100644
--- a/core/cubes/agda.el
+++ b/core/cubes/agda.el
@@ -28,7 +28,7 @@
 (defcube fg42/agda-cube
   "Integrate Agda-mode with Fg42"
   :title "Agda cube"
-  :flag-default t
+  :flag-default nil
   :flag agda
   (load-file
    (let* ((coding-system-for-read 'utf-8)