diff --git a/src/Main.hs b/src/Main.hs
index c1c32735..59acf948 100644
--- a/src/Main.hs
+++ b/src/Main.hs
@@ -87,4 +87,6 @@ isInteractive = do
 main = do
   -- Issue #201: disable backend when run in interactive mode
   isInt <- isInteractive
-  runAgda [Backend backend | not isInt]
+  if isInt
+    then runAgda [Backend backend{isEnabled = const False}]
+    else runAgda [Backend backend]