diff --git a/nixos-modules/store-wrapper.dhall b/nixos-modules/store-wrapper.dhall
index 1646d6b..e0c8311 100644
--- a/nixos-modules/store-wrapper.dhall
+++ b/nixos-modules/store-wrapper.dhall
@@ -25,6 +25,7 @@ in  λ ( params
       ) →
       Genode.Boot::{
       , config = Init::{
+        , verbose = True
         , routes = params.routes
         , children =
             let child = Prelude.Map.keyValue Child.Type
@@ -90,7 +91,6 @@ in  λ ( params
                                     , label =
                                         Init.LabelSelector.prefix
                                           "nixos -> /nix/store"
-                                    , diag = Some True
                                     }
                                   ]
                                 # ( let Entry = Prelude.Map.Entry Text Text
@@ -101,8 +101,7 @@ in  λ ( params
                                           ( λ(e : Entry) →
                                               [ Init.Config.Policy::{
                                                 , service = "ROM"
-                                                , diag = Some True
-                                               , label =
+                                                , label =
                                                     Init.LabelSelector.prefix
                                                       "nixos -> ${e.mapKey}"
                                                 , attributes = toMap
@@ -112,7 +111,6 @@ in  λ ( params
                                                 }
                                               , Init.Config.Policy::{
                                                 , service = "ROM"
-                                                , diag = Some True
                                                 , label =
                                                     Init.LabelSelector.Type.Partial
                                                       { prefix = Some
diff --git a/nixos-modules/systemd-runner.dhall b/nixos-modules/systemd-runner.dhall
index ff6626e..4da6005 100644
--- a/nixos-modules/systemd-runner.dhall
+++ b/nixos-modules/systemd-runner.dhall
@@ -119,7 +119,6 @@ in  λ ( params
                         , policies =
                           [ Init.Config.Policy::{
                             , service = "ROM"
-                            , diag = Some True
                             , label = Init.LabelSelector.prefix "ExecStart"
                             }
                           ]