diff --git a/gnu/packages/kodi.scm b/gnu/packages/kodi.scm
index a0f1ad7dca..ed80d0662f 100644
--- a/gnu/packages/kodi.scm
+++ b/gnu/packages/kodi.scm
@@ -489,10 +489,10 @@ plug-in system.")
                (delete "-DCORE_PLATFORM_NAME=x11" ,flags)))))
     (inputs
      (modify-inputs (package-inputs kodi)
-       (prepend (list libinput
-                      libxkbcommon
-                      waylandpp
-                      wayland-protocols))))
+       (prepend libinput
+                libxkbcommon
+                waylandpp
+                wayland-protocols)))
     (synopsis "Kodi with Wayland rendering backend")))
 
 (define-public kodi-cli