diff --git a/gnu/packages/freedesktop.scm b/gnu/packages/freedesktop.scm
index aa66ae05d3..a94f36e4ee 100644
--- a/gnu/packages/freedesktop.scm
+++ b/gnu/packages/freedesktop.scm
@@ -712,8 +712,8 @@ (define-public libinput
                (list check)
                '())))
     (propagated-inputs
-     `(;; libinput.h requires <libudev.h>, so propagate it.
-       ("udev" ,eudev)))
+     ;; libinput.h requires <libudev.h>, so propagate it.
+     (list eudev))
     (home-page "https://www.freedesktop.org/wiki/Software/libinput/")
     (synopsis "Input devices handling library")
     (description