diff --git a/gnu/packages/commencement.scm b/gnu/packages/commencement.scm
index bd23d71fee..3c4664a18f 100644
--- a/gnu/packages/commencement.scm
+++ b/gnu/packages/commencement.scm
@@ -2636,8 +2636,8 @@ exec " gcc-bin "/" program
   ;; This Flex is needed to build MiG as well as Linux-Libre headers.
   (package
     (inherit flex)
-    (native-inputs `(("bison" ,bison-boot0)))
-    (propagated-inputs `(("m4" ,m4-boot0)))
+    (native-inputs (list bison-boot0))
+    (propagated-inputs (list m4-boot0))
     (inputs (%boot0-inputs))
     (arguments
      `(#:implicit-inputs? #f