diff --git a/operating-systems/buer.scm b/operating-systems/buer.scm
index c601140..7a208ba 100644
--- a/operating-systems/buer.scm
+++ b/operating-systems/buer.scm
@@ -122,9 +122,9 @@
    (kernel-arguments
     (cons* "modprobe.blacklist=usbmouse,usbkbd,pcspkr"
            "thinkpad_acpi.fan_control=1"
-           (filter ((on (negate disjoin)
-                        (partial partial string-prefix?))
-                    (list "debugfs" "l1tf" "mds" "mitigations" "nosmt"))
+           (filter (negate ((on disjoin
+                                (partial partial string-prefix?))
+                            "debugfs" "l1tf" "mds" "mitigations" "nosmt"))
                    %kicksecure-kernel-arguments)))
 
    (file-systems