diff --git a/nixos-modules/hardware.nix b/nixos-modules/hardware.nix
index ada37d1..4d776fc 100644
--- a/nixos-modules/hardware.nix
+++ b/nixos-modules/hardware.nix
@@ -81,8 +81,8 @@ with lib;
                 else
                   null) config.genode.init.children);
           in {
-            assertion = trace
-              clientList (clientList == [ ] || length clientList == 1);
+            assertion =
+              trace clientList (clientList == [ ] || length clientList == 1);
             message = "Multiple routes to Nic ${name}, ${clientList}";
           };
       in lib.lists.concatMap
@@ -332,7 +332,9 @@ with lib;
                 , Init.ServiceRoute.parent "IO_PORT"
                 ]
               , config = Init.Config::{
-                , policies = [ ${toString policies} ] : List Init.Config.Policy.Type
+                , policies = [ ${
+                  toString policies
+                } ] : List Init.Config.Policy.Type
                 }
               }
       '';